Nikos Tzevelekos

Publication Activity (10 Years)

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

Top Topics

Probabilistic Automata

Operational Semantics

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)
M. H. Bandukara, Nikos Tzevelekos
On-the-fly bisimulation equivalence checking for fresh-register automata. J. Syst. Archit. 145 (2023)
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)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. TACAS (2) (2022)
M. H. Bandukara, Nikos Tzevelekos
On-The-Fly Bisimilarity Checking for Fresh-Register Automata. SETTA (2022)
Andrzej S. Murawski, Nikos Tzevelekos
Game Semantics for Interface Middleweight Java. J. ACM 68 (1) (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)
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
Theorems for free from separation logic specifications. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Bisimilarity in fresh-register automata. CoRR (2020)
Yu-Yang Lin, Nikos Tzevelekos
Symbolic Execution Game Semantics. CoRR (2020)
Yu-Yang Lin, Nikos Tzevelekos
Symbolic Execution Game Semantics. FSCD (2020)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
DEQ: Equivalence Checker for Deterministic Register Automata. ATVA (2019)
Andrzej S. Murawski, Nikos Tzevelekos
Higher-order linearisability. J. Log. Algebraic Methods Program. 104 (2019)
Yu-Yang Lin, Nikos Tzevelekos
A Bounded Model Checking Technique for Higher-Order Programs. SETTA (2019)
Guilhem Jaber, Nikos Tzevelekos
A Trace Semantics for System F Parametric Polymorphism. FoSSaCS (2018)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata. MFCS (2018)
Yu-Yang Lin, Nikos Tzevelekos
Higher-Order Bounded Model Checking. CoRR (2018)
Andrzej S. Murawski, Nikos Tzevelekos
Algorithmic games for full ground references. Formal Methods Syst. Des. 52 (3) (2018)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Reachability in pushdown register automata. J. Comput. Syst. Sci. 87 (2017)
Andrzej S. Murawski, Nikos Tzevelekos
Higher-Order Linearisability. CONCUR (2017)
Martin Hyland, Guy McCusker, Nikos Tzevelekos
Foreword for special issue of APAL for GaLoP 2013. Ann. Pure Appl. Log. 168 (2) (2017)
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
Trace Properties from Separation Logic Specifications. CoRR (2017)
Andrzej S. Murawski, Nikos Tzevelekos
Nominal Game Semantics. Found. Trends Program. Lang. 2 (4) (2016)
Guilhem Jaber, Nikos Tzevelekos
Trace semantics for polymorphic references. CoRR (2016)
Andrzej S. Murawski, Nikos Tzevelekos
Higher-Order Linearisability. CoRR (2016)
Andrzej S. Murawski, Nikos Tzevelekos
Block structure vs scope extrusion: between innocence and omniscience. Log. Methods Comput. Sci. 12 (3) (2016)
Guilhem Jaber, Nikos Tzevelekos
Trace semantics for polymorphic references. LICS (2016)
Radu Grigore, Nikos Tzevelekos
History-Register Automata Log. Methods Comput. Sci. 12 (1) (2016)
Andrzej S. Murawski, Nikos Tzevelekos
An invitation to game semantics. ACM SIGLOG News 3 (2) (2016)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Bisimilarity in Fresh-Register Automata. LICS (2015)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
A Contextual Equivalence Checker for IMJ ∗. ATVA (2015)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Game Semantic Analysis of Equivalence in IMJ. ATVA (2015)
Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). NII Shonan Meet. Rep. 2015 (2015)
Andrzej S. Murawski, Nikos Tzevelekos
Game Semantics for Nominal Exceptions. FoSSaCS (2014)
Andrzej S. Murawski, Nikos Tzevelekos
Game semantics for interface middleweight Java. POPL (2014)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Reachability in Pushdown Register Automata. MFCS (1) (2014)
Nikos Tzevelekos, Radu Grigore
History-Register Automata. FoSSaCS (2013)
Andrzej S. Murawski, Nikos Tzevelekos
Towards Nominal Abramsky. Computation, Logic, Games, and Quantum Foundations (2013)
Andrzej S. Murawski, Nikos Tzevelekos
Deconstructing General References via Game Semantics. FoSSaCS (2013)
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata. TACAS (2013)
Andrzej S. Murawski, Nikos Tzevelekos
Full abstraction for Reduced ML. Ann. Pure Appl. Log. 164 (11) (2013)
Dan R. Ghica, Nikos Tzevelekos
A System-Level Game Semantics. MFPS (2012)
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata CoRR (2012)
Dan R. Ghica, Nikos Tzevelekos
A System-Level Semantics CoRR (2012)
Nikos Tzevelekos
Program equivalence in a simple language with state. Comput. Lang. Syst. Struct. 38 (2) (2012)
Andrzej S. Murawski, Nikos Tzevelekos
Algorithmic Games for Full Ground References. ICALP (2) (2012)
Andrzej S. Murawski, Nikos Tzevelekos
Game Semantics for Good General References. LICS (2011)
Nikos Tzevelekos
Fresh-register automata. POPL (2011)
Samson Abramsky, Nikos Tzevelekos
Introduction to Categories and Categorical Logic CoRR (2011)
Andrzej S. Murawski, Nikos Tzevelekos
Algorithmic Nominal Game Semantics. ESOP (2011)
Andrzej S. Murawski, Nikos Tzevelekos
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. FoSSaCS (2010)
Nikos Tzevelekos
Program Equivalence with Names. Modelling, Controlling and Reasoning About State (2010)
Nikos Tzevelekos
Full abstraction for nominal general references Log. Methods Comput. Sci. 5 (3) (2009)
Andrzej S. Murawski, Nikos Tzevelekos
Full Abstraction for Reduced ML. FoSSaCS (2009)
C.-H. Luke Ong, Nikos Tzevelekos
Functional Reachability. LICS (2009)
Nikos Tzevelekos
Full abstraction for nominal general references. LICS (2007)
Nikos Tzevelekos
Investigations on the Dual Calculus. Theor. Comput. Sci. 360 (1-3) (2006)