default search action
Sung-Shik Jongmans
Person information
- affiliation: Open University of the Netherlands, Heerlen, The Netherlands
- affiliation: Radboud University Nijmegen, The Netherlands
- affiliation: Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Luc Edixhoven
, Sung-Shik Jongmans, José Proença
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136: 100919 (2024) - [c46]Sung-Shik Jongmans
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. FM (2) 2024: 158-166 - [e3]Javier Cámara
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9 [contents] - [i4]Sung-Shik Jongmans:
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report). CoRR abs/2407.00540 (2024) - 2023
- [j15]Sung-Shik Jongmans, Francisco Ferreira
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser. 9(2): 18:1-18:2 (2023) - [j14]Luc Edixhoven
Balanced-by-Construction Regular and ω-Regular Languages. Int. J. Found. Comput. Sci. 34(2&3): 117-144 (2023) - [c45]Sung-Shik Jongmans, Francisco Ferreira
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). ECOOP 2023: 42:1-42:30 - [c44]Sung-Shik Jongmans:
Run-Time Verification of Communication Protocols in Clojure. ELS 2023: 1 - [c43]Petra van den Bos, Sung-Shik Jongmans:
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. FM 2023: 321-339 - [c42]Francisco Ferreira
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA 2023: 1511-1514 - [c41]Jelle Bouma
Multiparty Session Typing in Java, Deductively. TACAS (2) 2023: 19-27 - [c40]Ton Smeele, Sung-Shik Jongmans:
Choreographic Programming of Isolated Transactions. PLACES@ETAPS 2023: 49-60 - [e2]Sung-Shik Jongmans
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4 [contents] - 2022
- [j13]Guillermina Cledou, Luc Edixhoven
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022) - [j12]Sung-Shik Jongmans, Farhad Arbab:
Preface - Special Issue on selected and extended papers from FACS 2019. Sci. Comput. Program. 218: 102807 (2022) - [j11]Ruben Hamers, Erik Horlings, Sung-Shik Jongmans:
The Discourje project: run-time verification of communication protocols in Clojure. Int. J. Softw. Tools Technol. Transf. 24(5): 757-782 (2022) - [c39]Guillermina Cledou
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP 2022: 27:1-27:28 - [c38]Sung-Shik Jongmans
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ESOP 2022: 520-547 - [c37]Luc Edixhoven
Realisability of Branching Pomsets. FACS 2022: 185-204 - [c36]Sung-Shik Jongmans, José Proença:
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) 2022: 460-478 - [c35]Sung-Shik Jongmans:
Towards Gradual Multiparty Session Typing. ASE 2022: 146:1-146:3 - [c34]Luc Edixhoven
Branching Pomsets for Choreographies. ICE 2022: 37-52 - 2021
- [c33]Luc Edixhoven
Balanced-By-Construction Regular and ømega-Regular Languages. DLT 2021: 130-142 - [c32]Florian Joost Slob, Sung-Shik Jongmans:
Prut4j: Protocol Unit Testing fo(u)r Java. ICST 2021: 448-453 - [c31]Erik Horlings, Sung-Shik Jongmans:
Analysis of specifications of multiparty sessions with dcj-lint. ESEC/SIGSOFT FSE 2021: 1590-1594 - 2020
- [c30]Sung-Shik Jongmans
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020: 251-279 - [c29]Ruben Hamers, Sung-Shik Jongmans:
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. ISoLA (1) 2020: 489-508 - [c28]Ruben Hamers, Sung-Shik Jongmans
Discourje: Runtime Verification of Communication Protocols in Clojure. TACAS (1) 2020: 266-284 - [e1]Farhad Arbab, Sung-Shik Jongmans:
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Lecture Notes in Computer Science 12018, Springer 2020, ISBN 978-3-030-40913-5 [contents]
2010 – 2019
- 2019
- [j10]David Castro-Perez, Raymond Hu
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL): 29:1-29:30 (2019) - [c27]Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen:
SOA and the Button Problem. FM 2019: 689-706 - [c26]Sung-Shik Jongmans:
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. ICECCS 2019: 164-169 - 2018
- [j9]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Sci. Comput. Program. 160: 48-77 (2018) - [c25]Sung-Shik Jongmans:
Formalizing Propagation of Priorities in Reo, Using Eight Colors. It's All About Coordination 2018: 122-138 - [c24]Micha Hergarden, Sung-Shik Jongmans:
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. ICOOOLPS@ECOOP 2018: 36-40 - [c23]Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans:
Improved Architectures/Deployments with Elmo. ICSOC Workshops 2018: 419-424 - [c22]Bernie van Veen, Sung-Shik Jongmans:
Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs. IPDPS Workshops 2018: 425-435 - [i3]Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi:
Connectors meet Choreographies. CoRR abs/1804.08976 (2018) - 2017
- [j8]Kasper Dokter
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1): 134-156 (2017) - [j7]Sung-Shik T. Q. Jongmans, Tobias Kappé
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146: 50-86 (2017) - [c21]Marco Krauweel, Sung-Shik T. Q. Jongmans:
Simpler Coordination of JavaScript Web Workers. COORDINATION 2017: 40-58 - 2016
- [j6]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Data optimizations for constraint automata. Log. Methods Comput. Sci. 12(3) (2016) - [j5]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. 115-116: 47-78 (2016) - [j4]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global consensus through local synchronization: A formal basis for partially-distributed coordination. Sci. Comput. Program. 115-116: 199-224 (2016) - [c20]Kasper Dokter
Scheduling Games for Concurrent Systems. COORDINATION 2016: 84-100 - [c19]Sung-Shik T. Q. Jongmans:
(Context-Sensitivity In) Reo, Revisited. FACS 2016: 191-209 - [c18]Sung-Shik T. Q. Jongmans, Farhad Arbab:
PrDK: Protocol Programming with Automata. TACAS 2016: 547-552 - 2015
- [j3]Sung-Shik T. Q. Jongmans, Francesco Santini
Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9(3-4): 311-339 (2015) - [c17]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Take Command of Your Constraints! COORDINATION 2015: 117-132 - [c16]Sung-Shik T. Q. Jongmans, Tobias Kappé
Composing Constraint Automata, State-by-State. FACS 2015: 217-236 - [c15]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? FSEN 2015: 238-258 - [c14]Farhad Arbab, Sung-Shik T. Q. Jongmans:
Coordinating Multicore Computing. SFM 2015: 57-96 - [c13]Kasper Dokter
Relating BIP and Reo. ICE 2015: 3-20 - 2014
- [j2]Sung-Shik T. Q. Jongmans, Francesco Santini
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv. Oriented Comput. Appl. 8(4): 277-297 (2014) - [c12]Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab:
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION 2014: 65-82 - [c11]Sung-Shik T. Q. Jongmans, Francesco Santini
Partially-Distributed Coordination with Reo. PDP 2014: 697-706 - [c10]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Toward Sequentializing Overparallelized Protocol Code. ICE 2014: 38-44 - [i2]Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer:
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014(99) (2014) - 2013
- [c9]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global Consensus through Local Synchronization. ESOCC Workshops 2013: 174-188 - [c8]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. CS2Bio 2013: 53-60 - 2012
- [j1]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comput. Sci. 22(1): 201-251 (2012) - [c7]Sung-Shik T. Q. Jongmans, Francesco Santini
Automatic Code Generation for the Orchestration of Web Services with Reo. ESOCC 2012: 1-16 - [c6]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Modularizing and Specifying Protocols among Threads. PLACES 2012: 34-45 - [c5]Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96 - [i1]Farhad Arbab, Sung-Shik Jongmans:
Software Engineering for Multi-core Platforms. ERCIM News 2012(91) (2012) - 2011
- [c4]Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab:
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION 2011: 31-48 - [c3]Sung-Shik T. Q. Jongmans, Koen V. Hindriks
State Space Reduction for Model Checking Agent Programs. ProMAS 2011: 133-151 - [c2]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. ICE 2011: 84-103 - 2010
- [c1]Sung-Shik T. Q. Jongmans, Koen V. Hindriks
Model Checking Agent Programs by Using the Program Interpreter. CLIMA 2010: 219-237
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: