Florent Chevrou

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
0
1
2
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A modular framework for verifying versatile distributed systems.
J. Log. Algebraic Methods Program., 2019

A Map of Asynchronous Communication Models.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017
Formalisation of asynchronous interactions. (Formalisation des interactions asynchrones).
PhD thesis, 2017

2016
On the diversity of asynchronous communication.
Formal Aspects Comput., 2016

Mechanized Refinement of Communication Models with TLA ^+ +.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Automated Verification of Asynchronous Communicating Systems with TLA+.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015


  Loading...