Dimitrios Kouzapas

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 23

Top Venues

CoRR

Log. Methods Comput. Sci.

RCIS

NoCArc@MICRO

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. Log. Methods Comput. Sci. 20 (3) (2024)
Dimitrios Kouzapas, Nearchos Stylianidis, Christos G. Panayiotou, Demetrios G. Eliades
Ontology-based reasoning to reconFigure industrial processes for energy efficiency. MED (2023)
Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed, Vassos Soteriou, Marios Lestas, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Towards fault adaptive routing in metasurface controller networks. J. Syst. Archit. 106 (2020)
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos
DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. RCIS (2020)
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou
Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. ENASE (Selected Papers) (2019)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019)
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. ENASE (2019)
Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. CoRR (2019)
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Theodora Costi, Alexandros Yeratziotis, Christos Mettouris, Anna Philippou, George A. Papadopoulos
GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. RCIS (2019)
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Fault Adaptive Routing in Metasurface Controller Networks. NoCArc@MICRO (2018)
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Fault Adaptive Routing in Metasurface Controller Networks. CoRR (2018)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Sci. Comput. Program. 155 (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. CoRR (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. FMICS (2018)
Dimitrios Kouzapas, Anna Philippou
Privacy by typing in the π-calculus. Log. Methods Comput. Sci. 13 (4) (2017)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Characteristic bisimulation for higher-order session processes. Acta Informatica 54 (3) (2017)
Dimitrios Kouzapas, Anna Philippou
Privacy by typing in the π-calculus. CoRR (2017)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo. PPDP (2016)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
On the Relative Expressiveness of Higher-Order Session Processes. ESOP (2016)
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26 (2) (2016)
Dimitrios Kouzapas, Anna Philippou
Type Checking Privacy Policies in the π-calculus. FORTE (2015)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. CoRR (2015)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR (2015)
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
Session Types for Broadcasting. PLACES (2014)
Dimitrios Kouzapas, Nobuko Yoshida
Globally Governed Session Semantics. Log. Methods Comput. Sci. 10 (4) (2014)
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
On Duality Relations for Session Types. TGC (2014)
Dimitrios Kouzapas, Anna Philippou
A Typing System for Privacy. SEFM Workshops (2013)
Dimitrios Kouzapas, Nobuko Yoshida
Globally Governed Session Semantics. CONCUR (2013)
Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
On Asynchronous Session Semantics. FMOODS/FORTE (2011)
Dimitrios Kouzapas, Anna Philippou
A Process Calculus for Dynamic Networks. FMOODS/FORTE (2011)
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
Type-Safe Eventful Sessions in Java. ECOOP (2010)

Dimitrios Kouzapas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dimitrios Kouzapas