Sung-Shik Jongmans
Orcid: 0000-0002-4394-8745Affiliations:
- Open University of the Netherlands, Heerlen, The Netherlands
- Radboud University Nijmegen, The Netherlands
- Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
According to our database1,
Sung-Shik Jongmans
authored at least 66 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., January, 2024
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report).
CoRR, 2024
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last.
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Int. J. Found. Comput. Sci., 2023
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).
Dagstuhl Artifacts Ser., 2023
Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the 16th European Lisp Symposium, 2023
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Sci. Comput. Program., 2022
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser., 2022
Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.
Proceedings of the Programming Languages and Systems, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Proceedings of the Developments in Language Theory - 25th International Conference, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Programming Languages and Systems, 2020
2019
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang., 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata.
Sci. Comput. Program., 2018
Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018
Proceedings of the 13th Workshop on Implementation, 2018
Proceedings of the It's All About Coordination, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the Coordination Models and Languages, 2017
2016
Sci. Comput. Program., 2016
Global consensus through local synchronization: A formal basis for partially-distributed coordination.
Sci. Comput. Program., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Serv. Oriented Comput. Appl., 2015
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015
Proceedings of the Formal Methods for Multicore Programming, 2015
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the Coordination Models and Languages, 2015
2014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.
Serv. Oriented Comput. Appl., 2014
ERCIM News, 2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.
Proceedings of the Coordination Models and Languages, 2014
2013
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
2012
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
2011
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011
2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010