Dimitrios Kouzapas

According to our database, Dimitrios Kouzapas authored at least 26 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Session Type System for Asynchronous Unreliable Broadcast Communication.

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay

Log. Methods Comput. Sci., 2024

iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems.

Dimitrios Kouzapas, Christos G. Panayiotou, Demetrios G. Eliades

CoRR, 2024

2023

Ontology-based reasoning to reconFigure industrial processes for energy efficiency.

Dimitrios Kouzapas, Nearchos Stylianidis, Christos G. Panayiotou, Demetrios G. Eliades

Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

2020

Towards fault adaptive routing in metasurface controller networks.

Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed, Vassos Soteriou, Marios Lestas, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides

J. Syst. Archit., 2020

DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes.

Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos

Proceedings of the Research Challenges in Information Science, 2020

2019

On the relative expressiveness of higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Inf. Comput., 2019

GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study.

Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Theodora Costi, Alexandros Yeratziotis, Christos Mettouris, Anna Philippou, George A. Papadopoulos

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models.

Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR.

Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Sci. Comput. Program., 2018

Fault Adaptive Routing in Metasurface Controller Networks.

Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides

Proceedings of the 11th International Workshop on Network on Chip Architectures, 2018

Formal Verification of a Programmable Hypersurface.

Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Privacy by typing in the π-calculus.

Dimitrios Kouzapas, Anna Philippou

Log. Methods Comput. Sci., 2017

Characteristic bisimulation for higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Acta Informatica, 2017

2016

On asynchronous eventful session semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda

Math. Struct. Comput. Sci., 2016

Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

CoRR, 2015

Type Checking Privacy Policies in the π-calculus.

Dimitrios Kouzapas, Anna Philippou

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

Globally Governed Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida

Log. Methods Comput. Sci., 2014

Session Types for Broadcasting.

Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

On Duality Relations for Session Types.

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

2013

A study of bisimulation theory for session types.

Dimitrios Kouzapas

PhD thesis, 2013

A Typing System for Privacy.

Dimitrios Kouzapas, Anna Philippou

Proceedings of the Software Engineering and Formal Methods, 2013

2011

On Asynchronous Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Techniques for Distributed Systems, 2011

A Process Calculus for Dynamic Networks.

Dimitrios Kouzapas, Anna Philippou

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Type-Safe Eventful Sessions in Java.

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2010, 2010