Vasileios Koutavas

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