default search action

combined dblp search
author search
venue search
publication search

ask others

Sung-Shik Jongmans

Sung-Shik T. Q. Jongmans

> Home > Persons

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

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/EdixhovenJPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/EdixhovenJPC24
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani:
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136: 100919 (2024)
2023
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/JongmansF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/JongmansF23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/EdixhovenJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/EdixhovenJ23
Luc Edixhoven, Sung-Shik Jongmans:
Balanced-by-Construction Regular and ω-Regular Languages. Int. J. Found. Comput. Sci. 34(2&3): 117-144 (2023)
2022
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/CledouEJP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/CledouEJP22
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansA22
Sung-Shik Jongmans, Farhad Arbab:
Preface - Special Issue on selected and extended papers from FACS 2019. Sci. Comput. Program. 218: 102807 (2022)
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/HamersHJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HamersHJ22
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)
2019
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CastroHJNY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CastroHJNY19
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida:
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)
2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansA18
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)
2017
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DokterJAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DokterJAB17
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1): 134-156 (2017)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansKA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansKA17
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab:
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146: 50-86 (2017)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JongmansA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JongmansA16
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Data optimizations for constraint automata. Log. Methods Comput. Sci. 12(3) (2016)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansCP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansCP16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansA16
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)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/JongmansSA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/JongmansSA15
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab:
Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9(3-4): 311-339 (2015)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/JongmansSSAA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/JongmansSSAA14
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): 277-297 (2014)
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cuza/JongmansA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/JongmansA12
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comput. Sci. 22(1): 201-251 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Jongmans25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Jongmans25
Sung-Shik Jongmans:
First-Person Choreographic Programming with Continuation-Passing Communications. ESOP (2) 2025: 62-90
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Jongmans25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Jongmans25
Sung-Shik Jongmans:
Multiparty Session Typing, Embedded. TACAS (1) 2025: 145-164
2024
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/Jongmans24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Jongmans24
Sung-Shik Jongmans:
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. FM (2) 2024: 158-166
2023
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/JongmansF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/JongmansF23
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]
- view
  - electronic edition @ european-lisp-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/els/Jongmans23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/els/Jongmans23
Sung-Shik Jongmans:
Run-Time Verification of Communication Protocols in Clojure. ELS 2023: 1
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BosJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BosJ23
Petra van den Bos, Sung-Shik Jongmans:
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. FM 2023: 321-339
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FerreiraJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FerreiraJ23
Francisco Ferreira, Sung-Shik Jongmans:
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA 2023: 1511-1514
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BoumaGJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BoumaGJ23
Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans:
Multiparty Session Typing in Java, Deductively. TACAS (2) 2023: 19-27
[c40]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-06399
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-06399
Ton Smeele, Sung-Shik Jongmans:
Choreographic Programming of Isolated Transactions. PLACES@ETAPS 2023: 49-60
2022
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/CledouEJP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CledouEJP22
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP 2022: 27:1-27:28
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JongmansB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JongmansB22
Sung-Shik Jongmans, Petra van den Bos:
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ESOP 2022: 520-547
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/EdixhovenJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/EdixhovenJ22
Luc Edixhoven, Sung-Shik Jongmans:
Realisability of Branching Pomsets. FACS 2022: 185-204
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/JongmansP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JongmansP22
Sung-Shik Jongmans, José Proença:
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) 2022: 460-478
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Jongmans22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Jongmans22
Sung-Shik Jongmans:
Towards Gradual Multiparty Session Typing. ASE 2022: 146:1-146:3
[c34]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-04632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-04632
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou:
Branching Pomsets for Choreographies. ICE 2022: 37-52
2021
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/EdixhovenJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/EdixhovenJ21
Luc Edixhoven, Sung-Shik Jongmans:
Balanced-By-Construction Regular and ømega-Regular Languages. DLT 2021: 130-142
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SlobJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SlobJ21
Florian Joost Slob, Sung-Shik Jongmans:
Prut4j: Protocol Unit Testing fo(u)r Java. ICST 2021: 448-453
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HorlingsJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HorlingsJ21
Erik Horlings, Sung-Shik Jongmans:
Analysis of specifications of multiparty sessions with dcj-lint. ESEC/SIGSOFT FSE 2021: 1590-1594
2020
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JongmansY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JongmansY20
Sung-Shik Jongmans, Nobuko Yoshida:
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020: 251-279
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HamersJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HamersJ20
Ruben Hamers, Sung-Shik Jongmans:
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. ISoLA (1) 2020: 489-508
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HamersJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HamersJ20
Ruben Hamers, Sung-Shik Jongmans:
Discourje: Runtime Verification of Communication Protocols in Clojure. TACAS (1) 2020: 266-284
2019
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/JongmansLE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/JongmansLE19
Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen:
SOA and the Button Problem. FM 2019: 689-706
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Jongmans19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Jongmans19
Sung-Shik Jongmans:
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. ICECCS 2019: 164-169
2018
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jongmans18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jongmans18
Sung-Shik Jongmans:
Formalizing Propagation of Priorities in Reo, Using Eight Colors. It's All About Coordination 2018: 122-138
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HergardenJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HergardenJ18
Micha Hergarden, Sung-Shik Jongmans:
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. ICOOOLPS@ECOOP 2018: 36-40
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/LamersEJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/LamersEJ18
Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans:
Improved Architectures/Deployments with Elmo. ICSOC Workshops 2018: 419-424
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/VeenJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/VeenJ18
Bernie van Veen, Sung-Shik Jongmans:
Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs. IPDPS Workshops 2018: 425-435
2017
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/KrauweelJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/KrauweelJ17
Marco Krauweel, Sung-Shik T. Q. Jongmans:
Simpler Coordination of JavaScript Web Workers. COORDINATION 2017: 40-58
2016
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DokterJA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DokterJA16
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab:
Scheduling Games for Concurrent Systems. COORDINATION 2016: 84-100
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Jongmans16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Jongmans16
Sung-Shik T. Q. Jongmans:
(Context-Sensitivity In) Reo, Revisited. FACS 2016: 191-209
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/JongmansA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JongmansA16
Sung-Shik T. Q. Jongmans, Farhad Arbab:
PrDK: Protocol Programming with Automata. TACAS 2016: 547-552
2015
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/JongmansA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/JongmansA15
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Take Command of Your Constraints! COORDINATION 2015: 117-132
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JongmansKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JongmansKA15
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab:
Composing Constraint Automata, State-by-State. FACS 2015: 217-236
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/JongmansA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/JongmansA15
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? FSEN 2015: 238-258
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/ArbabJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/ArbabJ15
Farhad Arbab, Sung-Shik T. Q. Jongmans:
Coordinating Multicore Computing. SFM 2015: 57-96
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DokterJAB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DokterJAB15
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Relating BIP and Reo. ICE 2015: 3-20
2014
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/JongmansHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/JongmansHA14
Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab:
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION 2014: 65-82
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/JongmansSA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/JongmansSA14
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab:
Partially-Distributed Coordination with Reo. PDP 2014: 697-706
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JongmansA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JongmansA14
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Toward Sequentializing Overparallelized Protocol Code. ICE 2014: 38-44
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/JongmansA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/JongmansA13
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global Consensus through Local Synchronization. ESOCC Workshops 2013: 174-188
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JaghooriJBPFRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JaghooriJBPFRH13
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/JongmansSSAA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/JongmansSSAA12
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: 1-16
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6333
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Modularizing and Specifying Protocols among Threads. PLACES 2012: 34-45
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1422
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1422
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença:
A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/JongmansKA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/JongmansKA11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/JongmansHR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/JongmansHR11
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk:
State Space Reduction for Model Checking Agent Programs. ProMAS 2011: 133-151
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0468
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]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/JongmansHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/JongmansHR10
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk:
Model Checking Agent Programs by Using the Program Interpreter. CLIMA 2010: 219-237

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2023
Javier Cámara, Sung-Shik Jongmans:
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]
2023
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2023
Sung-Shik Jongmans, Antónia Lopes:
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]
2020
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2019
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-17741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-17741
Sung-Shik Jongmans:
Multiparty Session Typing, Embedded (Technical Report). CoRR abs/2501.17741 (2025)
2024
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-00540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-00540
Sung-Shik Jongmans:
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report). CoRR abs/2407.00540 (2024)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08976
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi:
Connectors meet Choreographies. CoRR abs/1804.08976 (2018)
2014
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/ArbabJB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/ArbabJB14
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer:
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014(99) (2014)
2012
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/ArbabJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/ArbabJ12
Farhad Arbab, Sung-Shik Jongmans:
Software Engineering for Multi-core Platforms. ERCIM News 2012(91) (2012)

Coauthor Index

see FAQ

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.