Allez au contenu, Allez à la navigation

.

RSS

Virginie Wiels

Département Traitement de l'information et Modélisation (DTIM)
Acting director

Research domain

Formal methods for the verification of critical embedded software and systems.

  • Combination of static and dynamic analyses of software
  • Software Certification (DO-178C and DO-333)
  • Management of evolutions

Training on formal methods at College de Polytechnique (in French)

Publications

 Publications  list

Conferences
 

  • Member of the editorial board for LITES (Leibniz Transactions on Embedded Systems)
  • Co-chair of the MFDL group of GDR GPL (in French)
  • Forum Méthodes Formelles FMF - Cycle de conférences (in French)
  • PC member of
    • FASE 2017
    • CAL 2016
    • ABZ 2016
    • NFM 2016

 

Contact

ONERA/DTIM - Centre de Toulouse
2 avenue Edouard Belin, BP 74025, 31055 Toulouse cedex, France
33 5 62 25 26 57
Virginie.Wiels at onera.fr