Sung-Shik Jongmans
Sung-Shik Jongmans
Open University of the Netherlands; Centrum Wiskunde & Informatica
Verified email at ou.nl - Homepage
Title
Cited by
Cited by
Year
Overview of Thirty Semantic Formalisms for Reo
SS Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 201-251, 2012
902012
Automatic Code Generation for the Orchestration of Web Services with Reo
SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh
LNCS 7592 :: Service-Oriented and Cloud Computing (ESOCC 2012), 1-16, 2012
442012
Distributed Programming using Role-Parametric Session Types in Go
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL 2019), 29:1-30, 2019
38*2019
Global consensus through local synchronization: A formal basis for partially-distributed coordination
SS Jongmans, F Arbab
Science of Computer Programming 115, 199-224, 2016
32*2016
Partially-Distributed Coordination with Reo
SS Jongmans, F Santini, F Arbab
Parallel, Distributed and Network-Based Processing (PDP 2014), 697-706, 2014
282014
Model Checking Agent Programs by Using the Program Interpreter
SS Jongmans, K Hindriks, B van Riemsdijk
LNCS 6245 :: Computational Logic in Multi-Agent Systems (CLIMA 2010), 219-237, 2010
272010
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
SS Jongmans, C Krause, F Arbab
LNCS 6721 :: Coordination Models and Languages (COORDINATION 2011), 31-48, 2011
252011
Automata-Theoretic Protocol Programming
SS Jongmans
PhD thesis, Leiden University, 2016
23*2016
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code
SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh
Service Oriented Computing and Applications 8 (4), 277-297, 2013
232013
Global Consensus through Local Synchronization
SS Jongmans, F Arbab
CCIS 393 :: Advances in Service-Oriented and Cloud Computing (FOCLASA 2013 …, 2013
23*2013
Modularizing and Specifying Protocols among Threads
SS Jongmans, F Arbab
EPTCS 109 :: Programming Language Approaches to Concurrency and …, 2013
232013
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
SS Jongmans, S Halle, F Arbab
LNCS 8459 :: Coordination Models and Languages (COORDINATION 2014), 65-82, 2014
182014
Constraint automata with memory cells and their composition
SS Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
172017
Partially distributed coordination with Reo and constraint automata
SS Jongmans, F Santini, F Arbab
Service Oriented Computing and Applications 9 (3), 311-339, 2015
162015
Reo: A Dataflow Inspired Language for Multicore
SS Jongmans, S Halle, F Arbab
Data-Flow Execution Models for Extreme Scale Computing (DFM 2013), 42-50, 2014
162014
A Procedure for Splitting Processes and its Application to Coordination
SS Jongmans, D Clarke, J Proença
EPTCS 91 :: Foundations of Coordination Languages and Self Adaptation …, 2012
162012
Relating BIP and Reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
EPTCS 189 :: Interaction and Concurrency Experience (ICE 2015), 3-20, 2015
152015
Toward Sequentializing Overparallelized Protocol Code
SS Jongmans, F Arbab
EPTCS 166 :: Interaction and Concurrency Experience (ICE 2014), 38-44, 2014
142014
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
SS Jongmans, F Arbab
LNCS 9392 :: Fundamentals of Software Engineering (FSEN 2015), 238-258, 2015
132015
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
SS Jongmans, F Arbab
EPTCS 59 :: Interaction and Concurrency Experience (ICE 2011), 84-103, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20