Florent Chevrou

According to our database, Florent Chevrou authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

A modular framework for verifying versatile distributed systems.

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

J. Log. Algebraic Methods Program., 2019

A Map of Asynchronous Communication Models.

Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Formalisation of asynchronous interactions. (Formalisation des interactions asynchrones).

Florent Chevrou

PhD thesis, 2017

2016

On the diversity of asynchronous communication.

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

Formal Aspects Comput., 2016

Mechanized Refinement of Communication Models with TLA ^+ +.

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Automated Verification of Asynchronous Communicating Systems with TLA+.

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015