Skip to Main content Skip to Navigation

Search by documents



...
hal-02947787v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
...
hal-02451058v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. A Modular Framework for Verifying Versatile Distributed Systems
Journal of Logic and Algebraic Methods in Programming, Elsevier, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
...
hal-02295347v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. A Modular Framework for Verifying Versatile Distributed Systems
5th International Symposium on Formal Approaches to Parallel and Distributed Systems. (4PAD 2018), part of 16th International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. pp.748-755, ⟨10.1109/HPCS.2018.00121⟩
...
hal-02270275v1  Conference papers
Tanguy Le BerrePhilippe QuéinnecGérard Padiou. Ensuring Timed Validity of Distributed Real Time Data
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
...
inria-00442001v1  Conference papers
Tanguy Le BerrePhilippe MauranGérard PadiouPhilippe Quéinnec. A Data Oriented Approach for Real-Time Systems
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158
...
hal-01343037v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranMeriem OuederniPhilippe Quéinnec et al.  La composition de services dans le monde asynchrone Formalisation et vérification en TLA+
14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
...
hal-03079837v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Characterizing Asynchronous Message-Passing Models Through Rounds
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
...
hal-01130800v1  Journal articles
Nadège PontissoPhilippe QuéinnecGérard Padiou. Analysis of distributed multi-periodic systems to achieve consistent data matching
Concurrency and Computation: Practice and Experience, Wiley, 2013, vol. 25 (n° 2), pp. 234-249. ⟨10.1002/cpe.2803⟩
...
hal-02903005v1  Conference papers
Armando CastañedaAurélie HuraultPhilippe QuéinnecMatthieu Roy. Tasks in Modular Proofs of Concurrent Algorithms
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
...
hal-01530410v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. On the Diversity of Asynchronous Communication
Formal Aspects of Computing, Springer Verlag, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
...
hal-02871341v1  Conference papers
Nathanael SensfelderAurélie HuraultPhilippe Quéinnec. Inference of Channel Priorities for Asynchronous Communication
14th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.262-269, ⟨10.1007/978-3-319-62410-5_32⟩
...
hal-01535944v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranPhilippe Quéinnec. Mechanized Refinement of Communication Models with TLA+
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
...
inria-00415110v1  Conference papers
M FilaliValérie IssarnyPhilippe MauranGérard PadiouPhilippe Quéinnec. Maximal Group Membership in Ad Hoc Networks
6th International Conference on Parallel Processing and Applied Mathematics : PPAM 2005, 2005, Poznan, Poland. pp.51-58
...
hal-01535957v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2015, vol. 72, pp. 1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
...
hal-02930097v1  Conference papers
Florent ChevrouAurélie HuraultShin NakajimaPhilippe Quéinnec. A Map of Asynchronous Communication Models
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
...
hal-02617506v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Asynchronous Message Orderings Beyond Causality
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
...
hal-02442015v1  Conference papers
Aurélie HuraultPhilippe Quéinnec. Proving a Non-Blocking Algorithm for Process Renaming with TLA+
13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
...
hal-01592022v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp. 135-150
...
hal-03170814v1  Conference papers
Sara HouhouSouheib BaarirPascal PoizatPhilippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs
16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), Apr 2021, online, Czech Republic
...
hal-02138366v1  Conference papers
Sara HouhouSouheib BaarirPascal PoizatPhilippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations
International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩