Skip to Main content Skip to Navigation

Search by documents



...
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-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-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
...
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-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-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-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-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⟩