Integrating Simulink Models into the Model Checker Cosmos. - Benoît Barbot; Béatrice Bérard; Yann Duplouy; Serge Haddad (Petri Nets, 2018)

Applying Formal Methods to Autonomous Vehicle Control. (Application des méthodes formelles au contrôle du véhicule autonome). - Yann Duplouy (2018)

Statistical Model Checking of Distributed Programs within SimGrid. - Marie Duflot; Yann Duplouy (SIMULTECH, 2020)