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
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., 23 Jun 2022, In: Dagstuhl Artifacts Series. 8, 2, p. 19:1-19:4 4 p., 19.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
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 AccessFile12 Downloads (Pure) -
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 AccessFile28 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 AccessFile13 Downloads (Pure)
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities
-
Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)
25 Jun 2018Activity: Attending or organising an event types › Organising an event › Academic
-
FaceTAV
Sung-Shik Jongmans (Participant / Attendee)
28 Nov 2018 → 29 Nov 2018Activity: Attending or organising an event types › Attending an event › 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
-
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)
2 Feb 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