עקוב אחר
Sung-Shik Jongmans
Sung-Shik Jongmans
Open University of the Netherlands
כתובת אימייל מאומתת בדומיין ou.nl - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Overview of Thirty Semantic Formalisms for Reo‏
SS Jongmans, F Arbab‏
Scientific Annals of Computer Science 22 (1), 201-251, 2012‏
1172012
Distributed Programming using Role-Parametric Session Types in Go‏
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida‏
Proceedings of the ACM on Programming Languages 3 (POPL 2019), 29:1-30, 2019‏
82*2019
Automatic Code Generation for the Orchestration of Web Services with Reo‏
SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh‏
Proceedings of ESOCC 2012 (European Conference on Service-Oriented and Cloud …, 2012‏
512012
Global consensus through local synchronization: A formal basis for partially-distributed coordination‏
SS Jongmans, F Arbab‏
Science of Computer Programming 115, 199-224, 2016‏
34*2016
Model Checking Agent Programs by Using the Program Interpreter‏
SS Jongmans, K Hindriks, B van Riemsdijk‏
Proceedings of CLIMA 2010 (International Workshop on Computational Logic in …, 2010‏
342010
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types‏
SS Jongmans, N Yoshida‏
Proceedings of ESOP 2020 (European Symposium on Programming), LNCS 12075 …, 2020‏
322020
Partially-Distributed Coordination with Reo‏
SS Jongmans, F Santini, F Arbab‏
Proceedings of PDP 2014 (International Euromicro Conference on Parallel …, 2014‏
322014
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3‏
G Cledou, L Edixhoven, SS Jongmans, J Proença‏
Proceedings of ECOOP 2022 (European Conference on Object-Oriented …, 2022‏
302022
A Predicate Transformer for Choreographies‏
SS Jongmans, P van den Bos‏
Proceedings of ESOP 2022 (European Symposium on Programming), LNCS 13240 …, 2022‏
30*2022
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‏
292013
Discourje: Runtime Verification of Communication Protocols in Clojure‏
R Hamers, SS Jongmans‏
Proceedings of TACAS 2020 (International Conference on Tools and Algorithms …, 2020‏
262020
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models‏
SS Jongmans, C Krause, F Arbab‏
Proceedings of COORDINATION 2011 (International Conference on Coordination …, 2011‏
262011
Automata-Theoretic Protocol Programming‏
SS Jongmans‏
PhD thesis, Leiden University, 2016‏
25*2016
Global Consensus through Local Synchronization‏
SS Jongmans, F Arbab‏
Proceedings of FOCLASA 2013 (International Workshop on Foundations of …, 2013‏
25*2013
Modularizing and Specifying Protocols among Threads‏
SS Jongmans, F Arbab‏
Proceedings of PLACES 2012 (International Workshop on Programming Language …, 2013‏
252013
Constraint automata with memory cells and their composition‏
SS Jongmans, T Kappé, F Arbab‏
Science of Computer Programming 146, 50-86, 2017‏
242017
Partially distributed coordination with Reo and constraint automata‏
SS Jongmans, F Santini, F Arbab‏
Service Oriented Computing and Applications 9 (3), 311-339, 2015‏
202015
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms‏
SS Jongmans, S Halle, F Arbab‏
Proceedings of COORDINATION 2014 (International Conference on Coordination …, 2014‏
202014
Relating BIP and Reo‏
K Dokter, SS Jongmans, F Arbab, S Bliudze‏
Proceedings of ICE 2015 (Interaction and Concurrency Experience), EPTCS 189 …, 2015‏
172015
Reo: A Dataflow Inspired Language for Multicore‏
SS Jongmans, S Halle, F Arbab‏
Proceedings of DFM 2013 (Workshop on Data-Flow Execution Models for Extreme …, 2014‏
172014
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20