Research output per year
Research output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019
Fingerprint
Dive into the research topics where Sung-Shik Jongmans is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile -
A Predicate Transformer for Choreographies (Full Version)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile17 Downloads (Pure) -
A Predicate Transformer for Choreographies (Technical Report)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile8 Downloads (Pure) -
Branching pomsets for choreographies (technical report)
Edixhoven, L., Jongmans, S-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile2 Downloads (Pure) -
Analysis of specifications of multiparty sessions with dcj-lint
Horlings, E. & Jongmans, S-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities
-
FaceTAV
Sung-Shik Jongmans (Participant / Attendee)
28 Nov 2018 → 29 Nov 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Q: Should We Specify Interactions, Explicitly? A: Yes
Sung-Shik Jongmans (Speaker)
2 Feb 2018Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
Formal Methods in the Netherlands
Sung-Shik Jongmans (Participant / Attendee)
3 Sep 2018 → 4 Sep 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Formal Aspects of Component Software
Sung-Shik Jongmans (Member of programme committee)
10 Oct 2018 → 12 Oct 2018Activity: Attending or organising an event types › Organising an event › Academic
-
Programming Languages in The Netherlands
Sung-Shik Jongmans (Participant / Attendee)
22 Nov 2018Activity: Attending or organising an event types › Attending an event › Academic