Concepedia

Thomas Bochot

TB

2

Publications

59

Citations

2

H-Index

2009

Active since

Affiliations

Airbus (France)(Current)

Université Fédérale de Toulouse Midi-Pyrénées

Thomas Bochot is an author at Airbus (France) specializing in software testing, systems engineering, and computer science.

Top concepts

EngineeringVerificationFlight ControlFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisSpace EngineeringFormal VerificationSystems Engineering

Publications per year

2009–2010

2

Publications

2

Model checking flight control systems: The Airbus experience

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck et al. · 2009 · 43 citations

Engineering, Safety Critical System, Verification +21

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

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck et al. · 2010 · 16 citations

Engineering, Verification, Computer-aided Verification +24

Rows per page

1–2 of 2