Type-safe eventful sessions in Java R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
98 2010 Typechecking protocols with Mungo and StMungo D Kouzapas, O Dardha, R Perera, SJ Gay
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
52 2016 Typechecking protocols with Mungo and StMungo: A session type toolchain for Java D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
49 2018 On duality relations for session types G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
46 2014 On duality relations for session types G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
46 2014 Globally governed session semantics D Kouzapas, N Yoshida
Logical Methods in Computer Science 10, 2014
41 2014 On asynchronous eventful session semantics D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
37 2016 On the relative expressiveness of higher-order session processes D Kouzapas, JA Pérez, N Yoshida
Information and Computation 268, 104433, 2019
35 2019 On asynchronous session semantics D Kouzapas, N Yoshida, K Honda
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
33 2011 A process calculus for dynamic networks D Kouzapas, A Philippou
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
27 2011 Session types for broadcasting D Kouzapas, R Gutkovas, SJ Gay
arXiv preprint arXiv:1406.3481, 2014
22 2014 Fault adaptive routing in metasurface controller networks T Saeed, C Skitsas, D Kouzapas, M Lestas, V Soteriou, A Philippou, ...
2018 11th International Workshop on Network on Chip Architectures (NoCArc), 1-6, 2018
19 2018 Towards fault adaptive routing in metasurface controller networks D Kouzapas, C Skitsas, T Saeed, V Soteriou, M Lestas, A Philippou, ...
Journal of Systems Architecture 106, 101703, 2020
17 2020 Characteristic bisimulation for higher-order session processes D Kouzapas, JA Pérez, N Yoshida
Acta informatica 54 (3), 271-341, 2017
17 2017 GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study E Vanezi, D Kouzapas, GM Kapitsaki, T Costi, A Yeratziotis, C Mettouris, ...
2019 13th international conference on research challenges in information …, 2019
13 2019 Diálogop-A language and a graphical tool for formally defining GDPR purposes E Vanezi, GM Kapitsaki, D Kouzapas, A Philippou, GA Papadopoulos
Research Challenges in Information Science: 14th International Conference …, 2020
11 2020 Formal verification of a programmable hypersurface P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
Formal Methods for Industrial Critical Systems: 23rd International …, 2018
11 2018 Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
River Publishers, 2017
10 2017 Privacy by typing in the -calculus D Kouzapas, A Philippou
Logical Methods in Computer Science 13, 2017
9 2017 Type Checking Privacy Policies in the π -calculus D Kouzapas, A Philippou
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
9 2015