Nikos Tzevelekos

69 papers A* 9A 2B 16Misc 2Journal 33Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	A Logic for Fresh Labelled Transition Systems. CSL Mohamed H. Bandukara, Nikos Tzevelekos
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 Logic For Fresh Labelled Transition Systems. CoRR Mohamed H. Bandukara, Nikos Tzevelekos
2025	J	`jnl`	Bisimilarity in fresh-register automata. Log. Methods Comput. Sci. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2025	J	`jnl`	Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. J. ACM Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
2025	B	`conf`	Register Automata with Permutations. MFCS Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos
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	—	`conf`	Automatic Compositional Checking of Multi-object TypeState Properties of Software. Principles of Verification (1) Radu Grigore, Dino Distefano, 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`	On-the-fly bisimulation equivalence checking for fresh-register automata. J. Syst. Archit. Mohamed H. Bandukara, 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	Misc	`conf`	On-The-Fly Bisimilarity Checking for Fresh-Register Automata. SETTA Mohamed H. Bandukara, Nikos Tzevelekos
2021	J	`jnl`	Game Semantics for Interface Middleweight Java. J. ACM Andrzej S. Murawski, Nikos Tzevelekos
2021	J	`jnl`	Theorems for free from separation logic specifications. Proc. ACM Program. Lang. Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
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
2020	J	`jnl`	Bisimilarity in fresh-register automata. CoRR Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2020	B	`conf`	Symbolic Execution Game Semantics. FSCD Yu-Yang Lin, Nikos Tzevelekos
2020	J	`jnl`	Symbolic Execution Game Semantics. CoRR Yu-Yang Lin, Nikos Tzevelekos
2019	Misc	`conf`	A Bounded Model Checking Technique for Higher-Order Programs. SETTA Yu-Yang Lin, Nikos Tzevelekos
2019	B	`conf`	DEQ: Equivalence Checker for Deterministic Register Automata. ATVA Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2019	J	`jnl`	Higher-order linearisability. J. Log. Algebraic Methods Program. Andrzej S. Murawski, Nikos Tzevelekos
2019	—	`ed.`	Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. HCVS/PERR@ETAPS Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
2018	B	`conf`	A Trace Semantics for System F Parametric Polymorphism. FoSSaCS Guilhem Jaber, Nikos Tzevelekos
2018	J	`jnl`	Algorithmic games for full ground references. Formal Methods Syst. Des. Andrzej S. Murawski, Nikos Tzevelekos
2018	J	`jnl`	Higher-Order Bounded Model Checking. CoRR Yu-Yang Lin, Nikos Tzevelekos
2018	B	`conf`	Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata. MFCS Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2017	J	`jnl`	Foreword for special issue of APAL for GaLoP 2013. Ann. Pure Appl. Log. Martin Hyland, Guy McCusker, Nikos Tzevelekos
2017	B	`conf`	Higher-Order Linearisability. CONCUR Andrzej S. Murawski, Nikos Tzevelekos
2017	J	`jnl`	Reachability in pushdown register automata. J. Comput. Syst. Sci. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2017	J	`jnl`	Trace Properties from Separation Logic Specifications. CoRR Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2016	J	`jnl`	An invitation to game semantics. ACM SIGLOG News Andrzej S. Murawski, Nikos Tzevelekos
2016	J	`jnl`	Block structure vs scope extrusion: between innocence and omniscience. Log. Methods Comput. Sci. Andrzej S. Murawski, Nikos Tzevelekos
2016	J	`jnl`	Higher-Order Linearisability. CoRR Andrzej S. Murawski, Nikos Tzevelekos
2016	J	`jnl`	History-Register Automata Log. Methods Comput. Sci. Radu Grigore, Nikos Tzevelekos
2016	J	`jnl`	Nominal Game Semantics. Found. Trends Program. Lang. Andrzej S. Murawski, Nikos Tzevelekos
2016	A*	`conf`	Trace semantics for polymorphic references. LICS Guilhem Jaber, Nikos Tzevelekos
2016	J	`jnl`	Trace semantics for polymorphic references. CoRR Guilhem Jaber, Nikos Tzevelekos
2015	B	`conf`	A Contextual Equivalence Checker for IMJ ∗. ATVA Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2015	A*	`conf`	Bisimilarity in Fresh-Register Automata. LICS Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2015	B	`conf`	Game Semantic Analysis of Equivalence in IMJ. ATVA Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2015	J	`jnl`	Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). NII Shonan Meet. Rep. Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos
2014	B	`conf`	Game Semantics for Nominal Exceptions. FoSSaCS Andrzej S. Murawski, Nikos Tzevelekos
2014	A*	`conf`	Game semantics for interface middleweight Java. POPL Andrzej S. Murawski, Nikos Tzevelekos
2014	—	`conf`	Reachability in Pushdown Register Automata. MFCS (1) Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2013	B	`conf`	Deconstructing General References via Game Semantics. FoSSaCS Andrzej S. Murawski, Nikos Tzevelekos
2013	J	`jnl`	Full abstraction for Reduced ML. Ann. Pure Appl. Log. Andrzej S. Murawski, Nikos Tzevelekos
2013	B	`conf`	History-Register Automata. FoSSaCS Nikos Tzevelekos, Radu Grigore
2013	A	`conf`	Runtime Verification Based on Register Automata. TACAS Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2013	—	`conf`	Towards Nominal Abramsky. Computation, Logic, Games, and Quantum Foundations Andrzej S. Murawski, Nikos Tzevelekos
2012	B	`conf`	A System-Level Game Semantics. MFPS Dan R. Ghica, Nikos Tzevelekos
2012	J	`jnl`	A System-Level Semantics CoRR Dan R. Ghica, Nikos Tzevelekos
2012	—	`conf`	Algorithmic Games for Full Ground References. ICALP (2) Andrzej S. Murawski, Nikos Tzevelekos
2012	J	`jnl`	Program equivalence in a simple language with state. Comput. Lang. Syst. Struct. Nikos Tzevelekos
2012	J	`jnl`	Runtime Verification Based on Register Automata CoRR Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2011	A	`conf`	Algorithmic Nominal Game Semantics. ESOP Andrzej S. Murawski, Nikos Tzevelekos
2011	A*	`conf`	Fresh-register automata. POPL Nikos Tzevelekos
2011	A*	`conf`	Game Semantics for Good General References. LICS Andrzej S. Murawski, Nikos Tzevelekos
2011	J	`jnl`	Introduction to Categories and Categorical Logic CoRR Samson Abramsky, Nikos Tzevelekos
2010	B	`conf`	Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. FoSSaCS Andrzej S. Murawski, Nikos Tzevelekos
2010	—	`conf`	Program Equivalence with Names. Modelling, Controlling and Reasoning About State Nikos Tzevelekos
2009	B	`conf`	Full Abstraction for Reduced ML. FoSSaCS Andrzej S. Murawski, Nikos Tzevelekos
2009	J	`jnl`	Full abstraction for nominal general references Log. Methods Comput. Sci. Nikos Tzevelekos
2009	A*	`conf`	Functional Reachability. LICS C.-H. Luke Ong, Nikos Tzevelekos
2007	A*	`conf`	Full abstraction for nominal general references. LICS Nikos Tzevelekos
2006	J	`jnl`	Investigations on the Dual Calculus. Theor. Comput. Sci. Nikos Tzevelekos