Thomas Bochot

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 1

Top Topics

Experimental Design

Automatically Generate

Top Venues

Publications

César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels
Automatic Generation of DO-178 Test Procedures. NFM (2018)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE (2010)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Model checking flight control systems: The Airbus experience. ICSE Companion (2009)