Eric Bonnafous

According to our database, Eric Bonnafous authored at least 3 papers between 2010 and 2024.

Collaborative distances:

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

2024

Certified ML Object Detection for Surveillance Missions.

Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti

CoRR, 2024

2011

Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.

Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010