Thomas Bochot

According to our database, Thomas Bochot authored at least 3 papers between 2009 and 2018.

Collaborative distances:

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

2018

Automatic Generation of DO-178 Test Procedures.

César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2010

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Model checking flight control systems: The Airbus experience.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 31st International Conference on Software Engineering, 2009