Yann Duplouy

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Reactive Systems

Top Venues

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Marie Duflot-Kremer, Yann Duplouy
Statistical Model Checking of Distributed Programs within SimGrid. SIMULTECH (2020)
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
Integrating Simulink Models into the Model Checker Cosmos. Petri Nets (2018)