Vasileios Koutavas

Koutavas V, Lin Y-Y, Tzevelekos N.  2024.  Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science.

Koutavas V, Lin Y-Y, Tzevelekos N.  2024.  An Operational Semantics for Yul. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings.

Koutavas V, Lin Y-Y, Tzevelekos N.  2023.  Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Koutavas V, Lin Y-Y, Tzevelekos N.  2022.  From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. Tools and Algorithms for the Construction and Analysis of Systems.

Ngondi G, Koutavas V, Butterfield A.  2022.  From CCS to CSP: the m-among-n Synchronisation Approach.

Borda A, Pasquale L, Koutavas V, Nuseibeh B.  2018.  Compositional Verification of Self-Adaptive Cyber-Physical Systems. 13th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Koutavas V, Gazda M, Hennessy M.  2017.  Distinguishing between Communicating Transactions. CoRR. abs/1703.03256

Spaccasassi C, Koutavas V.  2016.  Type-Based Analysis for Session Inference.