Étienne Lozes

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