Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • Lero Stories
    • Diversity
    • Careers
    • Logos and Guidelines
  • Research
    • Introduction
    • Blended Autonomous Vehicles
    • Empower
    • Publications
      • All Publications
      • Technical Reports
      • Public Reports
    • Lero Esports Science Research Lab
    • International Projects
    • Lero Research Activities
    • Parnas Fellowship
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Logitech Case Study
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Source Programme Office
    • Open Science Charter
    • Open Science Calendar of Events
  • Contact

Search form

Vasileios Koutavas

Academic

You are here

  • Home
  • Our People
  • Vasileios Koutavas
Vasileios Koutavas's picture
Trinity College Dublin

Contact Details

office :

tel :

send email

Rankings 2012-090712.jpg

  • Publications
2024
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.
2023
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).
2022
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.
2018
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).
2017
Koutavas V, Gazda M, Hennessy M.  2017.  Distinguishing between Communicating Transactions. CoRR. abs/1703.03256
2016
Spaccasassi C, Koutavas V.  2016.  Type-Based Analysis for Session Inference.

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
View our latest
newsletter
Follow us



Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro
euro

Copyright 2024  Lero