Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

31 résultats
Page :
triés par
Image document

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

 Martin Lange , Etienne Lozes
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.90-103, ⟨10.1007/978-3-662-44602-7_8⟩
Communication dans un congrès hal-01402031v1
Image document

Reasoning About Sequences of Memory States

 Rémi Brochenin , Stéphane Demri , Etienne Lozes
Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS07), Sergei Artemov; Anil Nerode, Jul 2007, New York, United States. pp.100-114, ⟨10.1007/978-3-540-72734-7_8⟩
Communication dans un congrès hal-03201337v1
Image document

On the Expressiveness of the Ambient Logic

 Daniel Hirschkoff , Etienne Lozes , Davide Sangiorgi
2005
Pré-publication, Document de travail hal-00009279v1
Image document

A Complete Axiomatisation for Quantifier-Free Separation Logic

 Stéphane Demri , Etienne Lozes , Alessio Mansutti
Logical Methods in Computer Science, 2021, 17 (3), pp.17:1--17:64. ⟨10.46298/lmcs-17(3:17)2021⟩
Article dans une revue hal-03005864v1
Image document

SEPARABILITY IN THE AMBIENT LOGIC

 Daniel Hirschkoff , Etienne Lozes , Davide Sangiorgi
Logical Methods in Computer Science, 2008, 4, pp.1 - 44. ⟨10.2168/LMCS-4⟩
Article dans une revue hal-01905180v1
Image document

On the Almighty Wand

 Rémi Brochenin , Stephane Demri , Etienne Lozes
Information and Computation, 2012, ⟨10.1016/j.ic.2011.12.003⟩
Article dans une revue hal-01905158v1
Image document

Weakly synchronous systems with three machines are Turing powerful

 Cinzia Di Giusto , Davide Ferré , Etienne Lozes , Nicolas Nisse
Inria. 2023
Rapport hal-04182953v1
Image document

On the k-synchronizability of Systems

 Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes
23rd International Conference on Foundations of Software Science and Computer Systems (FOSSACS 2020), Apr 2020, Dublin, Ireland. pp.157-176, ⟨10.1007/978-3-030-45231-5_9⟩
Communication dans un congrès hal-02883586v1
Image document

Synchronizability of Communicating Finite State Machines is not Decidable

 Alain Finkel , Etienne Lozes
44th International Colloquium on Automata, Languages, and Programming ICALP 2017, 2017, Varsaw, Poland. ⟨10.4230/LIPIcs.ICALP.2017.122⟩
Communication dans un congrès hal-01920609v1
Image document

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

 Stéphane Demri , Etienne Lozes , Alessio Mansutti
ACM Transactions on Computational Logic, 2021, 22 (2), pp.14:1--14:56. ⟨10.1145/3448269⟩
Article dans une revue hal-03215795v1
Image document

On the k-synchronizability of systems

 Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes
[Research Report] Laboratoire I3S. 2019
Rapport hal-02272347v2
Image document

Shared contract-obedient channels

 Etienne Lozes , Jules Villard
Science of Computer Programming, 2015, 100, pp.28 - 60. ⟨10.1016/j.scico.2014.09.008⟩
Article dans une revue hal-01905136v1
Image document

Weakly Synchronous Systems with Three Machines Are Turing Powerful

 Cinzia Di Giusto , Davide Ferré , Etienne Lozes , Nicolas Nisse
RP 2023 - 17th International Conference on Reachability Problems, 2023, Nice, France. pp.28-41, ⟨10.1007/978-3-031-45286-4_3⟩
Communication dans un congrès hal-04273451v1
Image document

Reasoning about sequences of memory states

 Rémi Brochenin , Stephane Demri , Etienne Lozes
Annals of Pure and Applied Logic, 2009, ⟨10.1016/j.apal.2009.07.004⟩
Article dans une revue hal-01905172v1
Image document

On Symbolic Heaps Modulo Permission Theories

 S Demri , E Lozes , Denis Lugiez
37th IARCS Foundation on Software Technology and Theoretical Computer Science, Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.25⟩
Communication dans un congrès hal-01788798v1
Image document

ON THE EXPRESSIVENESS OF THE AMBIENT LOGIC

 Daniel Hirschkoff , Etienne Lozes , Davide Sangiorgi
Logical Methods in Computer Science, 2006, 2, pp.1 - 35. ⟨10.2168/LMCS-2⟩
Article dans une revue hal-01905191v1
Image document

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

 Naoki Kobayashi , Etienne Lozes , Florian Bruse
the 44th ACM SIGPLAN Symposium, Jan 2017, Paris, France. ⟨10.1145/3009837⟩
Communication dans un congrès hal-01920615v1
Image document

Reliable Contracts for Unreliable Half-Duplex Communications

 Etienne Lozes , Jules Villard
Web Services and Formal Methods (WS-FM), 2011, Clermont-Ferrand, France
Communication dans un congrès hal-03252111v1

A Spatial Equational Logic for the Applied pi-calculus

 Jules Villard , Etienne Lozes , Ralf Treinen
[Research Report] 2008
Rapport inria-00524786v1
Image document

Guessing the Buffer Bound for k-Synchronizability

 Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes
International Journal of Foundations of Computer Science, 2022, 34 (8), pp.1051-1076. ⟨10.1142/S0129054122430018⟩
Article dans une revue hal-03890605v1
Image document

Synchronizability of Communicating Finite State Machines is not Decidable

 Alain Finkel , Etienne Lozes
2018
Pré-publication, Document de travail hal-01474722v5
Image document

The Complexity of Model-Checking the Tail-Recursive Fragment of Higher-Order Modal Fixpoint Logic

 Florian Bruse , Martin Lange , Etienne Lozes
Fundamenta Informaticae, 2021, ⟨10.3233/FI-2016-0000⟩
Article dans une revue hal-03180788v1
Image document

A partial order view of message-passing communication models

 Cinzia Di Giusto , Davide Ferré , Laetitia Laversa , Etienne Lozes
[Research Report] Université Nice Côte d’Azur, CNRS, I3S, France. 2022
Rapport hal-03823473v3

Space-Efficient Fragments of Higher-Order Fixpoint Logic

 Florian Bruse , Martin Lange , Etienne Lozes
RP, 2017, London, United Kingdom
Communication dans un congrès hal-01920599v1
Image document

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

 Florent Jacquemard , Etienne Lozes , Ralf Treinen , Jules Villard
Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩
Communication dans un congrès inria-00578896v1
Image document

Internal Calculi for Separation Logic

 Stéphane Demri , Etienne Lozes , Alessio Mansutti
Computer Science Logic, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.19⟩
Communication dans un congrès hal-02883558v1
Image document

Model-checking process equivalences

 Martin Lange , Etienne Lozes , Manuel Vargas Guzmán
Theoretical Computer Science, 2014, 560, pp.326 - 347. ⟨10.1016/j.tcs.2014.08.020⟩
Article dans une revue hal-01905142v1
Image document

The Effects of Adding Reachability Predicates in Propositional Separation Logic

 Stéphane Demri , Etienne Lozes , Alessio Mansutti
22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS, 2018, Thessaloniki, Greece
Communication dans un congrès hal-01920563v1
Image document

Elimination of spatial connectives in static spatial logics

 Etienne Lozes
Theoretical Computer Science, 2005
Article dans une revue hal-01905204v1
Image document

On the Almighty Wand

 Rémi Brochenin , Stéphane Demri , Etienne Lozes
Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Sep 2008, Bertinoro, Italy. pp.323-338, ⟨10.1007/978-3-540-87531-4_24⟩
Communication dans un congrès istex hal-03201440v1
Page :