Dimitrios Kouzapas

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