Yann Duplouy

According to our database, Yann Duplouy authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

Statistical Model Checking of Distributed Programs within SimGrid.

Marie Duflot, Yann Duplouy

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

2018

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

Yann Duplouy

PhD thesis, 2018

Integrating Simulink Models into the Model Checker Cosmos.

Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018