Research Output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019Fingerprint 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.
DSL
Engineering & Materials Science
Network protocols
Engineering & Materials Science
Parallel programming
Engineering & Materials Science
Synchronization
Engineering & Materials Science
Data storage equipment
Engineering & Materials Science
Communication
Engineering & Materials Science
Chemical analysis
Engineering & Materials Science
Experiments
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2017 2018
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata
Jongmans, S-STQ. & Arbab, 1 Aug 2018, In : Science of Computer Programming. 160, p. 48-77 30 p.Research output: Contribution to journal › Article › Academic › peer-review
Network protocols
Semantics
Throughput
Formal languages
Computer programming
Formalizing Propagation of Priorities in Reo, Using Eight Colors
Jongmans, S-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
File
Modular Programming of Synchronization and Communication among Tasks in Parallel Programs
van Veen, B. & Jongmans, S-S., 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access
File
DSL
Parallel programming
Synchronization
Network protocols
Communication
Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free
Hergarden, M. & Jongmans, S-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access
File
Combine and conquer: Relating BIP and Reo
Dokter, K., Jongmans, S-S., Arbab, F. & Bliudze, S., Jan 2017, In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 134-156 23 p.Research output: Contribution to journal › Article › Academic › peer-review
Prizes
Rubicon Grant in Beta Cluster
Sung-Shik Jongmans (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities 2018 2018
Q: Should We Specify Interactions, Explicitly? A: Yes
Sung-Shik Jongmans (Speaker)2 Feb 2018
Activity: Talk or presentation types › Invited talk › Academic
Formal Methods in the Netherlands
Sung-Shik Jongmans (Participant / Attendee)3 Sep 2018 → 4 Sep 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)2 Feb 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Formal Aspects of Component Software
Sung-Shik Jongmans (Member of programme committee)10 Oct 2018 → 12 Oct 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
ABCD Meeting
Sung-Shik Jongmans (Participant / Attendee)17 Dec 2018 → 18 Dec 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic