Follow
Vasileios Koutavas
Vasileios Koutavas
Assistant Professor, Trinity College Dublin
Verified email at scss.tcd.ie - Homepage
Title
Cited by
Cited by
Year
Small bisimulations for reasoning about higher-order imperative programs
V Koutavas, M Wand
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1422006
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
442011
Bisimulations for untyped imperative objects
V Koutavas, M Wand
European Symposium on Programming, 146-161, 2006
412006
Communicating transactions
E Vries, V Koutavas, M Hennessy
International Conference on Concurrency Theory, 569-583, 2010
382010
Reasoning about class behavior
V Koutavas, M Wand
Informal Workshop Record of FOOL, 8, 2007
332007
Reverse hoare logic
E Vries, V Koutavas
International Conference on Software Engineering and Formal Methods, 155-171, 2011
312011
A mechanized bisimulation for the nu-calculus
N Benton, V Koutavas
Higher-Order and Symbolic Computation (to appear, 2013), 2008
202008
Compositional verification of self-adaptive cyber-physical systems
A Borda, L Pasquale, V Koutavas, B Nuseibeh
2018 IEEE/ACM 13th International Symposium on Software Engineering for …, 2018
182018
Liveness of communicating transactions
E Vries, V Koutavas, M Hennessy
Asian Symposium on Programming Languages and Systems, 392-407, 2010
182010
Bisimulations for communicating transactions
V Koutavas, C Spaccasassi, M Hennessy
International Conference on Foundations of Software Science and Computation …, 2014
122014
First-order reasoning for higher-order concurrency
V Koutavas, M Hennessy
Computer Languages, Systems & Structures 38 (3), 242-277, 2012
122012
A testing theory for a higher-order cryptographic language
V Koutavas, M Hennessy
European Symposium on Programming, 358-377, 2011
102011
A safety and liveness theory for total reversibility
CA Mezzina, V Koutavas
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
82017
Symbolic bisimulation for a higher-order distributed language with passivation
V Koutavas, M Hennessy
International Conference on Concurrency Theory, 167-181, 2013
72013
Reasoning about imperative and higher-order programs
V Koutavas
Northeastern University, 2008
62008
Self-adaptive automata
A Borda, V Koutavas
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
42018
Distinguishing between communicating transactions
V Koutavas, M Gazda, M Hennessy
Information and Computation 259, 1-30, 2018
32018
Relating step-indexed logical relations and bisimulations
D Vytiniotis, V Koutavas
32009
Towards efficient abstractions for concurrent consensus
C Spaccasassi, V Koutavas
International Symposium on Trends in Functional Programming, 76-90, 2013
22013
Limitations of applicative bisimulation
V Koutavas, PB Levy, E Sumii
22010
The system can't perform the operation now. Try again later.
Articles 1–20