Vasileios Koutavas

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 17

Top Topics

Extended Abstract

Functional Dependencies

Prime Implicates

Transactional Data

Top Venues

Publications

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
An Operational Semantics for Yul. CoRR (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. LICS (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. LICS (2023)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. CoRR (2023)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. CoRR (2023)
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
From CCS to CSP: the m-among-n Synchronisation Approach. EXPRESS/SOS (2022)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. TACAS (2) (2022)
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
Translation of CCS into CSP, Correct up to Strong Bisimulation. SEFM (2021)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques. CoRR (2021)
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy
Distinguishing between communicating transactions. Inf. Comput. 259 (1) (2018)
Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh
Compositional verification of self-adaptive cyber-physical systems. SEAMS@ICSE (2018)
Aimee Borda, Vasileios Koutavas
Self-adaptive automata. FormaliSE@ICSE (2018)
Edsko de Vries, Vasileios Koutavas
Locally Nameless Permutation Types. CoRR (2017)
Claudio Antares Mezzina, Vasileios Koutavas
A safety and liveness theory for total reversibility. TASE (2017)
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy
Distinguishing between Communicating Transactions. CoRR (2017)
Claudio Antares Mezzina, Vasileios Koutavas
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). CoRR (2016)
Carlo Spaccasassi, Vasileios Koutavas
Type-Based Analysis for Session Inference (Extended Abstract). FORTE (2016)
Carlo Spaccasassi, Vasileios Koutavas
Complete session types inference with progress guarantees for ML. CoRR (2015)
Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy
Bisimulations for Communicating Transactions - (Extended Abstract). FoSSaCS (2014)
Carlo Spaccasassi, Vasileios Koutavas
Towards Efficient Abstractions for Concurrent Consensus. Trends in Functional Programming (2013)
Carlo Spaccasassi, Vasileios Koutavas
Towards Efficient Abstractions for Concurrent Consensus CoRR (2013)
Vasileios Koutavas, Matthew Hennessy
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). CONCUR (2013)
Vasileios Koutavas, Matthew Hennessy
First-order reasoning for higher-order concurrency. Comput. Lang. Syst. Struct. 38 (3) (2012)
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
From Applicative to Environmental Bisimulation. MFPS (2011)
Edsko de Vries, Vasileios Koutavas
Reverse Hoare Logic. SEFM (2011)
Vasileios Koutavas, Matthew Hennessy
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). ESOP (2011)
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
Limitations of Applicative Bisimulation (Preliminary Report). Modelling, Controlling and Reasoning About State (2010)
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
Communicating Transactions - (Extended Abstract). CONCUR (2010)
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
Liveness of Communicating Transactions (Extended Abstract). APLAS (2010)
Vasileios Koutavas, Mitchell Wand
Small bisimulations for reasoning about higher-order imperative programs. POPL (2006)
Vasileios Koutavas, Mitchell Wand
Bisimulations for Untyped Imperative Objects. ESOP (2006)