Étienne Lozes

According to our database, Étienne Lozes authored at least 48 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Guessing the Buffer Bound for k-Synchronizability.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

Int. J. Found. Comput. Sci., December, 2023

Multiparty half-duplex systems and synchronous communications.

Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes

J. Log. Algebraic Methods Program., February, 2023

A Partial Order View of Message-Passing Communication Models.

Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes

Proc. ACM Program. Lang., January, 2023

Synchronizability of Communicating Finite State Machines is not Decidable.

Alain Finkel, Étienne Lozes

Log. Methods Comput. Sci., 2023

Weakly Synchronous Systems with Three Machines Are Turing Powerful.

Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse

Proceedings of the Reachability Problems - 17th International Conference, 2023

2022

A non-sequential hierarchy of message-passing models.

Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes

CoRR, 2022

The Tail-Recursive Fragment of Timed Recursive CTL.

Florian Bruse, Martin Lange, Étienne Lozes

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

2021

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

ACM Trans. Comput. Log., 2021

A Complete Axiomatisation for Quantifier-Free Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Log. Methods Comput. Sci., 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.

Florian Bruse, Martin Lange, Étienne Lozes

Fundam. Informaticae, 2021

Towards Generalised Half-Duplex Systems.

Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

A Unifying Framework for Deciding Synchronizability.

Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

On the k-synchronizability of Systems.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Internal Calculi for Separation Logics.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

On the k-synchronizability for mailbox systems.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

CoRR, 2019

2018

Multi-buffer simulations: Decidability and complexity.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Inf. Comput., 2018

The Effects of Adding Reachability Predicates in Propositional Separation Logic.

Stéphane Demri, Étienne Lozes, Alessio Mansutti

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Space-Efficient Fragments of Higher-Order Fixpoint Logic.

Florian Bruse, Martin Lange, Étienne Lozes

Proceedings of the Reachability Problems - 11th International Workshop, 2017

On the relationship between higher-order recursion schemes and higher-order fixpoint logic.

Naoki Kobayashi, Étienne Lozes, Florian Bruse

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On Symbolic Heaps Modulo Permission Theories.

Stéphane Demri, Étienne Lozes, Denis Lugiez

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2016

Two-Buffer Simulation Games.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

Multi-Buffer Simulations for Trace Language Inclusion.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Seventh International Symposium on Games, 2016

2015

Shared contract-obedient channels.

Étienne Lozes, Jules Villard

Sci. Comput. Program., 2015

A Type-Directed Negation Elimination.

Étienne Lozes

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

Conjunctive Visibly-Pushdown Path Queries.

Martin Lange, Étienne Lozes

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

2014

Model-checking process equivalences.

Martin Lange, Étienne Lozes, Manuel Vargas Guzmán

Theor. Comput. Sci., 2014

Buffered Simulation Games for Büchi Automata.

Milka Hutagalung, Martin Lange, Étienne Lozes

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic.

Martin Lange, Étienne Lozes

Proceedings of the Theoretical Computer Science, 2014

2013

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion.

Milka Hutagalung, Martin Lange, Étienne Lozes

Proceedings of the Language and Automata Theory and Applications, 2013

2012

On the almighty wand.

Rémi Brochenin, Stéphane Demri, Étienne Lozes

Inf. Comput., 2012

Shared Contract-Obedient Endpoints

Étienne Lozes, Jules Villard

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Model-Checking the Higher-Dimensional Modal mu-Calculus

Martin Lange, Étienne Lozes

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2011

Reliable Contracts for Unreliable Half-Duplex Communications.

Étienne Lozes, Jules Villard

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus.

Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

2010

A spatial equational logic for the applied <i>pi</i>-calculus.

Étienne Lozes, Jules Villard

Distributed Comput., 2010

Tracking Heaps That Hop with Heap-Hop.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Reasoning about sequences of memory states.

Rémi Brochenin, Stéphane Demri, Étienne Lozes

Ann. Pure Appl. Log., 2009

Beyond Shapes: Lists with Ordered Data.

Kshitij Bansal, Rémi Brochenin, Étienne Lozes

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Proving Copyless Message Passing.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Separability in the Ambient Logic.

Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi

Log. Methods Comput. Sci., 2008

A Spatial Equational Logic for the Applied pi-Calculus.

Étienne Lozes, Jules Villard

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Towards Model-Checking Programs with Lists.

Alain Finkel, Étienne Lozes, Arnaud Sangnier

Proceedings of the Infinity in Logic and Computation, International Conference, 2007

2006

Elimination of quantifiers and undecidability in spatial logics for concurrency.

Luís Caires, Étienne Lozes

Theor. Comput. Sci., 2006

On the Expressiveness of the Ambient Logic.

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi

Log. Methods Comput. Sci., 2006

2005

Elimination of spatial connectives in static spatial logics.

Étienne Lozes

Theor. Comput. Sci., 2005

2003

Adjuncts elimination in the static ambient logic.

Étienne Lozes

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Minimality Results for the Spatial Logics.

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002

Separability, Expressiveness, and Decidability in the Ambient Logic.

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002