Sung-Shik Jongmans
Sung-Shik Jongmans
Open University of the Netherlands; Centrum Wiskunde & Informatica
Geverifieerd e-mailadres voor ou.nl - Homepage
TitelGeciteerd doorJaar
Overview of Thirty Semantic Formalisms for Reo
SS Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 201-251, 2012
802012
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
412012
Partially-Distributed Coordination with Reo
SS Jongmans, F Santini, F Arbab
Parallel, Distributed and Network-Based Processing (PDP 2014), 697-706, 2014
272014
Global Consensus through Local Synchronization
SS Jongmans, F Arbab
CCIS 393 :: Advances in Service-Oriented and Cloud Computing (FOCLASA 2013 …, 2013
24*2013
Modularizing and Specifying Protocols among Threads
SS Jongmans, F Arbab
EPTCS 109 :: Programming Language Approaches to Concurrency and …, 2013
242013
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
242011
Automata-Theoretic Protocol Programming
SS Jongmans
PhD thesis, Leiden University, 2016
21*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
212013
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
212010
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
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
172014
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
172012
Global consensus through local synchronization: A formal basis for partially-distributed coordination
SS Jongmans, F Arbab
Science of Computer Programming 115, 199-224, 2016
152016
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
152015
Toward Sequentializing Overparallelized Protocol Code
SS Jongmans, F Arbab
EPTCS 166 :: Interaction and Concurrency Experience (ICE 2014), 38-44, 2014
152014
Partially distributed coordination with Reo and constraint automata
SS Jongmans, F Santini, F Arbab
Service Oriented Computing and Applications 9 (3), 311-339, 2015
142015
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
132011
Relating BIP and Reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
EPTCS 189 :: Interaction and Concurrency Experience (ICE 2015), 3-20, 2015
112015
Constraint automata with memory cells and their composition
SS Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
102017
Take Command of Your Constraints!
SS Jongmans, F Arbab
LNCS 9037 :: Coordination Models and Languages (COORDINATION 2015), 117-132, 2015
102015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20