Search - ONERA - Office national d'études et de recherches aérospatiales Access content directly

Filter your results

17 Results
authFullName_s : Virginie Wiels
Image document

Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle

Antoine Ferlin , Philippe Bon , Virginie Wiels , Simon Collart-Dutilleul
Approches Formelles dans l'Assistance au Développement Logiciel, Jun 2015, Bordeaux, France. pp.1-15
Conference papers hal-01471489v1

Integration of heterogeneous formal techniques for the design of avionics systems

Yamine Aït-Ameur , Frédéric Boniol , Rémi Delmas , Emmanuel Grolleau , Nathalie Torrecillas et al.
Proc. Conference on Data Systems in Aerospace (DASIA 2004), Jun 2004, Nice, France
Conference papers hal-03777792v1
Image document

The landing gear case study: challenges and experiments

Frédéric Boniol , Virginie Wiels , Yamine Aït-Ameur , Klaus-Dieter Schewe
International Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Journal articles hal-01851720v1

Statistical automaton for verifying temporal properies and computing information on traces

Antoine Ferlin , Virginie Wiels , Philippe Bon
International Journal of Computers, Communications and Control, 2016, 11 (5), pp.645-656. ⟨10.15837/ijccc.2016.5.2148⟩
Journal articles hal-01363470v1
Image document

Formal Verification of Critical Aerospace Software

Virginie Wiels , Robert Delmas , David Doose , Pierre-Loïc Garoche , J. Cazin et al.
Aerospace Lab, 2012, 4, p. 1-8
Journal articles hal-01184099v1
Image document

Guidance for Using Formal Methods in a Certification Context

Duncan Brown , Hervé Delseny , Kelly Hayhurst , Virginie Wiels
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers hal-02267708v1
Image document

Show Me New Counterexamples: A Path-Based Approach

Kalou Cabrera Castillos , Hélène Waeselynck , Virginie Wiels
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Conference papers hal-01953299v1

Trace analysis from ERTMS engineering

Antoine Ferlin , Simon Collart-Dutilleul , Philippe Bon , Virginie Wiels
Comprail, International Conference on Railway Engineering Design and Operation, Jul 2016, Madrid, Spain. 12p
Conference papers hal-01353502v1

A component Based Méthodology for Description of Complex Systems

Yamine Ait-Ameur , Bruno d'Ausbourg , Frédéric Boniol , Virginie Wiels
Proc. 4th European Systems Engineering Conference (EuSEC 2002), May 2002, Toulouse, France
Conference papers hal-03702475v1

Verification Coverage for Combining Test and Proof

Viet Hoang Le , Loic Correnson , Julien Signoles , Virginie Wiels
12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_7⟩
Conference papers hal-02901326v1
Image document

Trace analysis from ERTMS engineering

Antoine Ferlin , Simon Collart-Dutilleul , Philippe Bon , Virginie Wiels
COMPRAIL, Jul 2016, MADRID, Spain
Conference papers hal-01386725v1

Test Languages for In-the-Loop Avionics Tests

Alexandru-Robert Guduvan , Hélène Waeselynck , Virginie Wiels , Guy Durrieu , Yann Fusero et al.
Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles hal-01953487v1

ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation

Yamine Aït-Ameur , Frédéric Boniol , Virginie Wiels
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. Revue des Nouvelles Technologies de l'Information, Cépaduès; Editions RNTI, 2007, 978-2-85428-814-8
Special issue hal-03376104v1
Image document

Parallel verification of temporal properties using dynamic analysis

Antoine Ferlin , Philippe Bon , Simon Collart-Dutilleul , Virginie Wiels
International Conference on Industrial Engineering and System Management (IESM), Oct 2015, Séville, Spain. 10p
Conference papers hal-01213652v1
Image document

Use of formal methods in embedded software development: stakes, constraints and proposal

Anthony Fernandes Pires , Thomas Polacsek , Virginie Wiels , Stéphane Duprat
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers hal-02272049v1
Image document

Experiences in using model checking to verify real time properties of a landing gear control system

Frédéric Boniol , Virginie Wiels , Emmanuel Ledinot
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270431v1
Image document

MIMOSA: Towards a model driven certification process

Pierre Bieber , Frédéric Boniol , Guy Durrieu , Olivier Poitou , Thomas Polacsek et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers hal-01289704v1