Research Output per year
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.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
Castro, D., Hu, R., Jongmans, S-S., Ng, N. & Yoshida, N., Jan 2019, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). POPL ed. New York, NY: Association for Computing Machinery (ACM), Vol. 3. p. 1-30 30 p. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
SOA and the Button Problem
Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
-
Toward new unit-testing techniques for shared-memory concurrent programs
Jongmans, S-S., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
-
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
-
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
File24 Downloads (Pure)
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities
-
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)
2 Feb 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
FaceTAV
Sung-Shik Jongmans (Participant / Attendee)
28 Nov 2018 → 29 Nov 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
Formal Methods in the Netherlands
Sung-Shik Jongmans (Participant / Attendee)
3 Sep 2018 → 4 Sep 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)
25 Jun 2018Activity: 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 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic