Florent Chevrou

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 6

Top Topics

Automated Verification

Diversity Measures

Asynchronous Communication

Top Venues

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

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models. FM Workshops (2) (2019)
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A modular framework for verifying versatile distributed systems. J. Log. Algebraic Methods Program. 108 (2019)
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems. HPCS (2018)
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the diversity of asynchronous communication. Formal Aspects Comput. 28 (5) (2016)
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
Mechanized Refinement of Communication Models with TLA ^+ +. ABZ (2016)
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)