Virginie Wiels

Research engineer at ONERA in Toulouse (France).
Critical systems engineering team ISC
Information modelling and processing department DTIM

Research interests

I am interested in formal methods (see FME or Formal methods).

At the moment I am more specifically working on:

static analysis of critical embedded software,
automatic test case generation for embedded systems,
software certification,
industrial use of model checking for critical embedded systems,
management of change in avionics specifications

Publications

List

Conferences

NFM 2010
NASA Formal Methods Symposium
Washington DC, April 13-15 2010

Member of the expert Review Panel for ASE 2009
Automated Software Engineering
Auckland,New Zealand, November 16-20, 2009

Membre du comité de programme de CAL 2010
Conférence Francophone sur les Architectures Logicielles
Pau, 9-11 mars 2010

Contact

Virginie.Wiels at onera.fr

ONERA-CERT/DTIM,
2 avenue Edouard Belin, BP 74025,
Toulouse cedex 4, France
Phone: 33 5 62 25 26 57
Fax: 33 5 62 25 25 93