Sung-Shik T. Q. Jongmans

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 8

Top Topics

Distributed Agents

Manually Created

Interaction Protocols

Multi Agent Coordination

Top Venues

Sci. Comput. Program.

Serv. Oriented Comput. Appl.

Publications

Sung-Shik T. Q. Jongmans, Farhad Arbab
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Sci. Comput. Program. 160 (2018)
Marco Krauweel, Sung-Shik T. Q. Jongmans
Simpler Coordination of JavaScript Web Workers. COORDINATION (2017)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146 (2017)
Sung-Shik T. Q. Jongmans, Farhad Arbab
PrDK: Protocol Programming with Automata. TACAS (2016)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Global consensus through local synchronization: A formal basis for partially-distributed coordination. Sci. Comput. Program. (2016)
Sung-Shik T. Q. Jongmans
(Context-Sensitivity In) Reo, Revisited. FACS (2016)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Data optimizations for constraint automata. Log. Methods Comput. Sci. 12 (3) (2016)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. (2016)
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Take Command of Your Constraints! COORDINATION (2015)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? FSEN (2015)
Farhad Arbab, Sung-Shik T. Q. Jongmans
Coordinating Multicore Computing. SFM (2015)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Composing Constraint Automata, State-by-State. FACS (2015)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Toward Sequentializing Overparallelized Protocol Code. ICE (2014)
Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION (2014)
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
Partially-Distributed Coordination with Reo. PDP (2014)
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv. Oriented Comput. Appl. 8 (4) (2014)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Global Consensus through Local Synchronization. ESOCC Workshops (2013)
Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier
PMG: Multi-core Metabolite Identification. Electron. Notes Theor. Comput. Sci. 299 (2013)
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
Automatic Code Generation for the Orchestration of Web Services with Reo. ESOCC (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comput. Sci. 22 (1) (2012)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A Procedure for Splitting Processes and its Application to Coordination FOCLASA (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Modularizing and Specifying Protocols among Threads PLACES (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata ICE (2011)
Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION (2011)
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
State Space Reduction for Model Checking Agent Programs. ProMAS (2011)
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
Model Checking Agent Programs by Using the Program Interpreter. CLIMA (2010)