Vasileios Koutavas

Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos. 2025. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. J. ACM. doi: 10.1145/3765737.

Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos. 2024. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery. doi: 10.1145/3661814.3662103.

Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos. 2024. An Operational Semantics for Yul. In: Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, Springer-Verlag. doi: 10.1007/978-3-031-77382-2_19.

Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos. 2022. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. In: Tools and Algorithms for the Construction and Analysis of Systems, Springer International Publishing. doi: 10.1007/978-3-030-99527-0_10.

Butterfield, Andrew, Koutavas, Vasileios, Ngondi, Gerard. 2022. From CCS to CSP: the m-among-n Synchronisation Approach. doi: 10.48550/arXiv.2209.05232.

Borda, A, Koutavas, V. 2018. Self-Adaptive Automata. In: 6th IEEE/ACM International FME Symposium on Formal Methods in Software Engineering, FormaliSE@ICSE. doi: 10.1145/3193992.3194001.

Bashar Nuseibeh, Borda, Aimee, Koutavas, Vasileios, Liliana Pasquale. 2018. Compositional Verification of Self-Adaptive Cyber-Physical Systems. In: 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE.

Gazda, Maciej, Hennessy, Matthew, Koutavas, Vasileios. 2017. Distinguishing between Communicating Transactions. CoRR, abs/1703.03256. Available at: http://arxiv.org/abs/1703.03256.

Koutavas, Vasileios, Spaccasassi, Carlo. 2016. Type-Based Analysis for Session Inference. Springer International Publishing. Available at: http://dx.doi.org/10.1007/978-3-319-39570-8_17.