Sung-Shik T. Q. Jongmans

27 papers A 1C 5Journal 8Unranked 13

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