OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Chevrou, Florent"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Article

Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe. A Modular Framework for Verifying Versatile Distributed Systems. (2019) Journal of Logical and Algebraic Methods in Programming, 108. 24-46. ISSN 2352-2208

Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe. On the Diversity of Asynchronous Communication. (2016) Formal Aspects of Computing, 28 (5). 847-879. ISSN 0934-5043

Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe. Automated Verification of Asynchronous Communicating Systems with TLA+. (2015) Electronic Communications of the EASST, 72. 1-15. ISSN 1863-2122

Conference or Workshop Item

Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe. A Modular Framework for Verifying Versatile Distributed Systems. (2018) In: 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), 16 July 2018 - 20 July 2018 (Orléans, France).

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Quéinnec, Philippe. Mechanized Refinement of Communication Models with TLA+. (2016) In: 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), 23 May 2016 - 27 May 2016 (Linz, Austria).

Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe. Automated Verification of Asynchronous Communicating Systems with TLA+. (2015) In: 15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), 1 September 2015 - 4 September 2015 (Edinburgh, Scotland, United Kingdom).

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier. La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).

Thesis

Chevrou, Florent. Formalisation of asynchronous interactions. PhD, Sûreté de Logiciel et Calcul à Haute Performance, Institut National Polytechnique de Toulouse, 2017

This list was generated on Wed Jan 29 12:50:42 2020 CET.