Étienne Lozes

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 30

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. Int. J. Found. Comput. Sci. 34 (8) (2023)
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
Weakly Synchronous Systems with Three Machines Are Turing Powerful. RP (2023)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A Partial Order View of Message-Passing Communication Models. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alain Finkel, Étienne Lozes
Synchronizability of Communicating Finite State Machines is not Decidable. Log. Methods Comput. Sci. 19 (4) (2023)
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
Weakly synchronous systems with three machines are Turing powerful. CoRR (2023)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Multiparty half-duplex systems and synchronous communications. J. Log. Algebraic Methods Program. 131 (2023)
Florian Bruse, Martin Lange, Étienne Lozes
The Tail-Recursive Fragment of Timed Recursive CTL. TIME (2022)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A non-sequential hierarchy of message-passing models. CoRR (2022)
Florian Bruse, Martin Lange, Étienne Lozes
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. Fundam. Informaticae 178 (1-2) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the buffer bound for k-synchronizability. CoRR (2021)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Towards Generalised Half-Duplex Systems. ICE (2021)
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
A Unifying Framework for Deciding Synchronizability. CONCUR (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. CIAA (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic. ACM Trans. Comput. Log. 22 (2) (2021)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
A Complete Axiomatisation for Quantifier-Free Separation Logic. CoRR (2020)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CSL (2020)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability of Systems. FoSSaCS (2020)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability for mailbox systems. CoRR (2019)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Internal Calculi for Separation Logics. CoRR (2019)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. CoRR (2018)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Multi-buffer simulations: Decidability and complexity. Inf. Comput. 262 (2018)
Stéphane Demri, Étienne Lozes, Alessio Mansutti
The Effects of Adding Reachability Predicates in Propositional Separation Logic. FoSSaCS (2018)
Naoki Kobayashi, Étienne Lozes, Florian Bruse
On the relationship between higher-order recursion schemes and higher-order fixpoint logic. POPL (2017)
Florian Bruse, Martin Lange, Étienne Lozes
Space-Efficient Fragments of Higher-Order Fixpoint Logic. RP (2017)
Alain Finkel, Étienne Lozes
Synchronizability of Communicating Finite State Machines is not Decidable. ICALP (2017)
Alain Finkel, Étienne Lozes
Synchronizability of Communicating Finite State Machines is not Decidable. CoRR (2017)
Stéphane Demri, Étienne Lozes, Denis Lugiez
On Symbolic Heaps Modulo Permission Theories. FSTTCS (2017)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Multi-Buffer Simulations for Trace Language Inclusion. GandALF (2016)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Two-Buffer Simulation Games. Cassting/SynCoP (2016)
Étienne Lozes, Jules Villard
Shared contract-obedient channels. Sci. Comput. Program. 100 (2015)
Martin Lange, Étienne Lozes
Conjunctive Visibly-Pushdown Path Queries. FCT (2015)
Étienne Lozes
A Type-Directed Negation Elimination. FICS (2015)
Milka Hutagalung, Martin Lange, Étienne Lozes
Buffered Simulation Games for Büchi Automata. AFL (2014)
Martin Lange, Étienne Lozes
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic. IFIP TCS (2014)
Martin Lange, Étienne Lozes, Manuel Vargas Guzmán
Model-checking process equivalences. Theor. Comput. Sci. 560 (2014)
Milka Hutagalung, Martin Lange, Étienne Lozes
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. LATA (2013)
Martin Lange, Étienne Lozes
Model-Checking the Higher-Dimensional Modal mu-Calculus FICS (2012)
Étienne Lozes, Jules Villard
Shared Contract-Obedient Endpoints ICE (2012)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the almighty wand. Inf. Comput. 211 (2012)
Martin Lange, Étienne Lozes, Manuel Vargas Guzmán
Model-Checking Process Equivalences GandALF (2012)
Étienne Lozes, Jules Villard
Reliable Contracts for Unreliable Half-Duplex Communications. WS-FM (2011)
Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. TOSCA (2011)
Étienne Lozes, Jules Villard
-calculus. Distributed Comput. 23 (1) (2010)
Jules Villard, Étienne Lozes, Cristiano Calcagno
Tracking Heaps That Hop with Heap-Hop. TACAS (2010)
Jules Villard, Étienne Lozes, Cristiano Calcagno
Proving Copyless Message Passing. APLAS (2009)
Kshitij Bansal, Rémi Brochenin, Étienne Lozes
Beyond Shapes: Lists with Ordered Data. FoSSaCS (2009)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning about sequences of memory states. Ann. Pure Appl. Log. 161 (3) (2009)
Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
Separability in the Ambient Logic. Log. Methods Comput. Sci. 4 (3) (2008)
Étienne Lozes, Jules Villard
A Spatial Equational Logic for the Applied pi-Calculus. CONCUR (2008)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the Almighty Wand. CSL (2008)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Separability in the Ambient Logic CoRR (2008)
Alain Finkel, Étienne Lozes, Arnaud Sangnier
Towards Model-Checking Programs with Lists. ILC (2007)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning About Sequences of Memory States. LFCS (2007)
Luís Caires, Étienne Lozes
Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358 (2-3) (2006)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic. Log. Methods Comput. Sci. 2 (2) (2006)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic CoRR (2005)
Étienne Lozes
Elimination of spatial connectives in static spatial logics. Theor. Comput. Sci. 330 (3) (2005)
Luís Caires, Étienne Lozes
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR (2004)
Étienne Lozes
Adjuncts elimination in the static ambient logic. EXPRESS (2003)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Minimality Results for the Spatial Logics. FSTTCS (2003)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Separability, Expressiveness, and Decidability in the Ambient Logic. LICS (2002)