Virginie Wiels

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Yannick Moy, Emmanuel Ledinot, Hervé Delseny et al. · IEEE Software · 2013 · 119 citations

Engineering, Industrial Experience, Verification +19

Checking secure interactions of smart card applets: extended version1

Pierre Bieber, J. Cazin, Pierre Girard et al. · Journal of Computer Security · 2002 · 43 citations

Mobile Security, Engineering, Information Security +16

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

Management of evolving specifications using category theory

Virginie Wiels, Steve Easterbrook · 2002 · 36 citations

Software Maintenance, Engineering, Software Engineering +17

Formal Verification of Critical Aerospace Software

Virginie Wiels, Robert C. delMas, David Doose et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 30 citations · Full text