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
-
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
Open AccessFile14 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
Open AccessFile6 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 -
Balanced-By-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., 6 Aug 2021, p. 130-142. 13 p.Research output: Contribution to conference › Paper › Academic
-
Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).Research output: Book/Report › Technical report
File9 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
-
ABCD Meeting
Sung-Shik Jongmans (Participant / Attendee)
17 Dec 2018 → 18 Dec 2018Activity: Attending or organising an event types › Attending 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
-
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)
2 Feb 2018Activity: Attending or organising an event types › Attending an event › Academic
-
The (Dis)likes of Farhad
Sung-Shik Jongmans (Speaker)
25 Dec 2018Activity: Talk or presentation types › Conference contribution (without a publication) › Academic