Concepedia

Pierre Virelizier

PV

2

Publications

59

Citations

2

H-Index

2009

Active since

Affiliations

Airbus (France)(Current)

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

Pierre Virelizier is an author at Airbus (France) specializing in systems engineering, computer science, and software verification.

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