Model Checking Agent Programs by Using the Program Interpreter. - Sung-Shik T. Q. Jongmans; Koen V. Hindriks; M. Birna van Riemsdijk (CLIMA, 2010)

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. - Sung-Shik T. Q. Jongmans; Christian Krause 001; Farhad Arbab (COORDINATION, 2011)

State Space Reduction for Model Checking Agent Programs. - Sung-Shik T. Q. Jongmans; Koen V. Hindriks; M. Birna van Riemsdijk (ProMAS, 2011)

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata - Sung-Shik T. Q. Jongmans; Farhad Arbab (ICE, 2011)

Automatic Code Generation for the Orchestration of Web Services with Reo. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Mahdi Sargolzaei; Farhad Arbab; Hamideh Afsarmanesh (ESOCC, 2012)

A Procedure for Splitting Processes and its Application to Coordination - Sung-Shik T. Q. Jongmans; Dave Clarke 001; José Proença (FOCLASA, 2012)

Modularizing and Specifying Protocols among Threads - Sung-Shik T. Q. Jongmans; Farhad Arbab (PLACES, 2012)

Overview of Thirty Semantic Formalisms for Reo. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Ann. Comput. Sci., 2012)

Software Engineering for Multi-core Platforms. - Farhad Arbab; Sung-Shik Jongmans (ERCIM News, 2012)

Global Consensus through Local Synchronization. - Sung-Shik T. Q. Jongmans; Farhad Arbab (ESOCC Workshops, 2013)

PMG: Multi-core Metabolite Identification. - Mohammad Mahdi Jaghoori; Sung-Shik T. Q. Jongmans; Frank S. de Boer; Julio E. Peironcely; Jean-Loup Faulon; Theo H. Reijmers; Thomas Hankemeier (CS2Bio, 2013)

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. - Sung-Shik T. Q. Jongmans; Sean Halle; Farhad Arbab (COORDINATION, 2014)

Partially-Distributed Coordination with Reo. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Farhad Arbab (PDP, 2014)

Toward Sequentializing Overparallelized Protocol Code. - Sung-Shik T. Q. Jongmans; Farhad Arbab (ICE, 2014)

High-Level Protocol Engineering without Performance Penalty for Multi-Core. - Farhad Arbab; Sung-Shik Jongmans; Frank S. de Boer (ERCIM News, 2014)

Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Mahdi Sargolzaei; Farhad Arbab; Hamideh Afsarmanesh (Serv. Oriented Comput. Appl., 2014)

Take Command of Your Constraints! - Sung-Shik T. Q. Jongmans; Farhad Arbab (COORDINATION, 2015)

Composing Constraint Automata, State-by-State. - Sung-Shik T. Q. Jongmans; Tobias Kappé; Farhad Arbab (FACS, 2015)

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? - Sung-Shik T. Q. Jongmans; Farhad Arbab (FSEN, 2015)

Coordinating Multicore Computing. - Farhad Arbab; Sung-Shik T. Q. Jongmans (SFM, 2015)

Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (ICE, 2015)

Partially distributed coordination with Reo and constraint automata. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Farhad Arbab (Serv. Oriented Comput. Appl., 2015)

Scheduling Games for Concurrent Systems. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab (COORDINATION, 2016)

(Context-Sensitivity In) Reo, Revisited. - Sung-Shik T. Q. Jongmans (FACS, 2016)

PrDK: Protocol Programming with Automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (TACAS, 2016)

Data optimizations for constraint automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Log. Methods Comput. Sci., 2016)

Global consensus through local synchronization: A formal basis for partially-distributed coordination. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Comput. Program., 2016)

A procedure for splitting data-aware processes and its application to coordination. - Sung-Shik T. Q. Jongmans; Dave Clarke 001; José Proença (Sci. Comput. Program., 2016)

Simpler Coordination of JavaScript Web Workers. - Marco Krauweel; Sung-Shik T. Q. Jongmans (COORDINATION, 2017)

Combine and conquer: Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (J. Log. Algebraic Methods Program., 2017)

Constraint automata with memory cells and their composition. - Sung-Shik T. Q. Jongmans; Tobias Kappé; Farhad Arbab (Sci. Comput. Program., 2017)

Formalizing Propagation of Priorities in Reo, Using Eight Colors. - Sung-Shik Jongmans (It's All About Coordination, 2018)

Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. - Micha Hergarden; Sung-Shik Jongmans (ICOOOLPS@ECOOP, 2018)

Improved Architectures/Deployments with Elmo. - Arjan Lamers; Marko C. J. D. van Eekelen; Sung-Shik Jongmans (ICSOC Workshops, 2018)

Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs. - Bernie van Veen; Sung-Shik Jongmans (IPDPS Workshops, 2018)

Connectors meet Choreographies. - Farhad Arbab; Luís Cruz-Filipe; Sung-Shik Jongmans; Fabrizio Montesi (CoRR, 2018)

Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Comput. Program., 2018)

SOA and the Button Problem. - Sung-Shik Jongmans; Arjan Lamers; Marko C. J. D. van Eekelen (FM, 2019)

Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. - Sung-Shik Jongmans (ICECCS, 2019)

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. - David Castro-Perez; Raymond Hu; Sung-Shik Jongmans; Nicholas Ng; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. - Sung-Shik Jongmans; Nobuko Yoshida (ESOP, 2020)

Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. - Ruben Hamers; Sung-Shik Jongmans (ISoLA (1), 2020)

Discourje: Runtime Verification of Communication Protocols in Clojure. - Ruben Hamers; Sung-Shik Jongmans (TACAS (1), 2020)

Balanced-By-Construction Regular and ømega-Regular Languages. - Luc Edixhoven; Sung-Shik Jongmans (DLT, 2021)

Prut4j: Protocol Unit Testing fo(u)r Java. - Florian Joost Slob; Sung-Shik Jongmans (ICST, 2021)

Analysis of specifications of multiparty sessions with dcj-lint. - Erik Horlings; Sung-Shik Jongmans (ESEC/SIGSOFT FSE, 2021)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (ECOOP, 2022)

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. - Sung-Shik Jongmans; Petra van den Bos (ESOP, 2022)

Realisability of Branching Pomsets. - Luc Edixhoven; Sung-Shik Jongmans (FACS, 2022)

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. - Sung-Shik Jongmans; José Proença (ISoLA (1), 2022)

Towards Gradual Multiparty Session Typing. - Sung-Shik Jongmans (ASE, 2022)

Branching Pomsets for Choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Guillermina Cledou (ICE, 2022)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (Dagstuhl Artifacts Ser., 2022)

Preface - Special Issue on selected and extended papers from FACS 2019. - Sung-Shik Jongmans; Farhad Arbab (Sci. Comput. Program., 2022)

The Discourje project: run-time verification of communication protocols in Clojure. - Ruben Hamers; Erik Horlings; Sung-Shik Jongmans (Int. J. Softw. Tools Technol. Transf., 2022)

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). - Sung-Shik Jongmans; Francisco Ferreira 001 (ECOOP, 2023)

Run-Time Verification of Communication Protocols in Clojure. - Sung-Shik Jongmans (ELS, 2023)

VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. - Petra van den Bos; Sung-Shik Jongmans (FM, 2023)

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. - Francisco Ferreira 001; Sung-Shik Jongmans (ISSTA, 2023)

Multiparty Session Typing in Java, Deductively. - Jelle Bouma; Stijn de Gouw; Sung-Shik Jongmans (TACAS (2), 2023)

Choreographic Programming of Isolated Transactions. - Ton Smeele; Sung-Shik Jongmans (PLACES@ETAPS, 2023)

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). - Sung-Shik Jongmans; Francisco Ferreira 001 (Dagstuhl Artifacts Ser., 2023)

Balanced-by-Construction Regular and ω-Regular Languages. - Luc Edixhoven; Sung-Shik Jongmans (Int. J. Found. Comput. Sci., 2023)

Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. - Sung-Shik Jongmans (FM (2), 2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report). - Sung-Shik Jongmans (CoRR, 2024)

Branching pomsets: Design, expressiveness and applications to choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Ilaria Castellani (J. Log. Algebraic Methods Program., 2024)

First-Person Choreographic Programming with Continuation-Passing Communications. - Sung-Shik Jongmans (ESOP (2), 2025)

Multiparty Session Typing, Embedded. - Sung-Shik Jongmans (TACAS (1), 2025)

Multiparty Session Typing, Embedded (Technical Report). - Sung-Shik Jongmans (CoRR, 2025)