Concepedia

Dimitrios Kouzapas

DK

Statistics

Publications

8

Citations

182

H-Index

8

Active since

2014

Affiliations

University of Glasgow(Current)

University of Cyprus

Imperial College London

Dimitrios Kouzapas is an author at University of Glasgow specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisAutomated ReasoningSemanticsSoftware AnalysisSystems Engineering

Publications per year

2014–2019

8

Publications

8

Typechecking protocols with Mungo and StMungo

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · 2016 · 35 citations · Full text

Formal Specification, Engineering, Runtime Verification +15

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

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · Science of Computer Programming · 2017 · 31 citations · Full text

Engineering, Verification, Software Engineering +20

On asynchronous eventful session semantics

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu et al. · Mathematical Structures in Computer Science · 2014 · 30 citations

Event-driven Architecture, Engineering, Verification +21

Globally Governed Session Semantics

Dimitrios Kouzapas, Nobuko Yoshida · Logical Methods in Computer Science · 2014 · 24 citations · Full text

Engineering, Standard Session Bisimulation, Verification +23

Towards fault adaptive routing in metasurface controller networks

Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed et al. · Journal of Systems Architecture · 2019 · 22 citations · Full text

Reliability Engineering, Engineering, Fault-tolerant Network +5

1–5 of 8