Full name: Sung Jongmans
Formal name: S.-S.T.Q. Jongmans
Function: PhD student
Email: Sung.Jongmans@cwi.nl
Telephone: +31(0)20 592 4241
Room: L210
Research groups: Formal Methods
Formal name: S.-S.T.Q. Jongmans
Function: PhD student
Email: Sung.Jongmans@cwi.nl
Telephone: +31(0)20 592 4241
Room: L210
Research groups: Formal Methods
Career
| 2013 - | Scientific staff member FM - Formal methods |
| 2010 - 2013 | PhD student SEN3 - Foundations of Software Engineering |
Recent Publications
| S.-S.T.Q. Jongmans, F. Arbab. Modularizing and specifying protocols among threads. Proceedings of European Joint Conferences on Theory and Practice of Software 2012, 2012. |
| S.-S.T.Q. Jongmans, F. Arbab. Overview of Thirty Semantic Formalisms for Reo. Scientific Annals of Computer Science 22, 201–251, 2012. |
| S.-S.T.Q. Jongmans, D. Clarke, J.M.P. Proença. A Procedure for Splitting Processes and its Application to Coordination. International Workshop on the Foundations of Coordination Languages and Software ArchitectureElectronic Proceedings in Theoretical Computer Science 91, 79–96, 2012. |
| S.-S.T.Q. Jongmans, K.V. Hindriks, M.B. van Riemsdijk. State Space Reduction for Model Checking Agent Programs. Programming Multi-Agent Systems, Lecture Notes in Computer Science 7217, 133–151, 2012. |
| S.-S.T.Q. Jongmans, F. Santini, M Sargolzaei, F. Arbab, H. Afsarmanesh. Automatic Code Generation for the Orchestration of Web Services with Reo. Service-Oriented and Cloud Computing, Lecture Notes in Computer Science 7592, 1–16, 2012. |
