Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. - Christel Seguin; Virginie Wiels (FME, 1996)

A Framework for Modular Formal Specification and Verification. - Pierre Michel; Virginie Wiels (FME, 1997)

V & V through Inconsistency Tracking and Analysis. - Steve Easterbrook; John R. Callahan; Virginie Wiels (IWSSD, 1998)

Management of Evolving Specifications using Category Theory. - Virginie Wiels; Steve M. Easterbrook (ASE, 1998)

Formal Modeling of Space Shuttle Software Change Requests using SCR. - Virginie Wiels; Steve M. Easterbrook (RE, 1999)

Electronic Purse Applet Certification: extended abstract. - Pierre Bieber; Jacques Cazin; Virginie Wiels; Guy Zanon; Pierre Girard; Jean-Louis Lanet (Workshop on Secure Architectures and Information Flow, 1999)

Extended Institutions for Testing. - Marielle Doche; Virginie Wiels (AMAST, 2000)

Checking Secure Interactions of Smart Card Applets. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (ESORICS, 2000)

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. - Pierre Bieber; Jacques Cazin; A. El Marouani; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (Java Card Workshop, 2000)

Using Formal Verification Techniques to Reduce Simulation and Test Effort. - Odile Laurent; Pierre Michel; Virginie Wiels (FME, 2001)

Checking Secure Interactions of Smart Card Applets: Extended Version. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (J. Comput. Secur., 2002)

Analyse de robustesse de systèmes avioniques. - Yamine Aït Ameur; Frédéric Boniol; S. Pairault; Virginie Wiels (JFLA, 2003)

Robustness analysis of avionics embedded systems. - Yamine Aït Ameur; Gérard Bel; Frédéric Boniol; S. Pairault; Virginie Wiels (LCTES, 2003)

Formal proof and test case generation for critical embedded systems using SCADE. - Guy Durrieu; Odile Laurent; Christel Seguin; Virginie Wiels (IFIP Congress Topical Sessions, 2004)

A framework for heterogeneous formal modeling and compositional verification of avionics systems. - Yamine Aït Ameur; Remi Delmas; Virginie Wiels (MEMOCODE, 2004)

Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. - Yamine Aït Ameur; Remi Delmas; Alexandre Cortier; Virginie Wiels (ISoLA, 2006)

A methodology for automated test generation guided by functional coverage constraints at specification level. - Odile Laurent; Christel Seguin; Virginie Wiels (ASE, 2006)

Un cadre formel pour la spécification multivue de systèmes avioniques. - Yamine Aït Ameur; Remi Delmas; Virginie Wiels (Tech. Sci. Informatiques, 2006)

Introduction. - Kurt Stirewalt; Virginie Wiels (Autom. Softw. Eng., 2007)

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. - Guy Durrieu; Hélène Waeselynck; Virginie Wiels (FMICS, 2008)

Formal Verification of Avionics Software Products. - Jean Souyris; Virginie Wiels; David Delmas; Hervé Delseny (FM, 2009)

Model checking flight control systems: The Airbus experience. - Thomas Bochot; Pierre Virelizier; Hélène Waeselynck; Virginie Wiels (ICSE Companion, 2009)

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. - Thomas Bochot; Pierre Virelizier; Hélène Waeselynck; Virginie Wiels (HASE, 2010)

Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. - Yamine Aït Ameur; Frédéric Boniol; Dominique Méry; Virginie Wiels (ISoLA (1), 2010)

Toward a wider use of formal methods for aerospace systems design and verification. - Yamine Aït Ameur; Frédéric Boniol; Virginie Wiels (Int. J. Softw. Tools Technol. Transf., 2010)

A Categorical Modeling Approach of Aspect-Oriented Systems. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Undesirable Aspect Interactions: A Prevention Policy. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Combination of Static and Dynamic Analyses for the Certification of Avionics Software. - Antoine Ferlin; Virginie Wiels (ISSRE Workshops, 2012)

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (SERE (Companion), 2012)

STELAE - A model-driven test development environment for avionics systems. - Alexandru-Robert Guduvan; Hélène Waeselynck; Virginie Wiels; Guy Durrieu; Yann Fusero; Michel Schieber (ISORC, 2013)

Behavioural Verification in Embedded Software, from Model to Source Code. - Anthony Fernandes Pires; Thomas Polacsek; Virginie Wiels; Stéphane Duprat (MoDELS, 2013)

A Meta-model for Tests of Avionics Embedded Systems. - Alexandru-Robert Guduvan; Hélène Waeselynck; Virginie Wiels; Guy Durrieu; Yann Fusero; Michel Schieber (MODELSWARD, 2013)

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. - Yannick Moy; Emmanuel Ledinot; Hervé Delseny; Virginie Wiels; Benjamin Monate (IEEE Softw., 2013)

The Landing Gear System Case Study. - Frédéric Boniol; Virginie Wiels (ABZ (Case Study), 2014)

A formal experiment to assess the efficacy of certification standards. - Virginie Wiels (CoRR, 2014)

Show Me New Counterexamples: A Path-Based Approach. - Kalou Cabrera Castillos; Hélène Waeselynck; Virginie Wiels (ICST, 2015)

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). - Darren D. Cofer; Gerwin Klein; Konrad Slind; Virginie Wiels (Dagstuhl Reports, 2015)

Test Languages for In-the-Loop Avionics Tests. - Alexandru-Robert Guduvan; Hélène Waeselynck; Virginie Wiels; Guy Durrieu; Yann Fusero; Michel Schieber (J. Aerosp. Inf. Syst., 2015)

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. - Antoine Ferlin; Virginie Wiels; Philippe Bon (Int. J. Comput. Commun. Control, 2016)

The landing gear case study: challenges and experiments. - Frédéric Boniol; Virginie Wiels; Yamine Aït Ameur; Klaus-Dieter Schewe (Int. J. Softw. Tools Technol. Transf., 2017)

Automatic Generation of DO-178 Test Procedures. - César Ochoa Escudero; Rémi Delmas; Thomas Bochot; Matthieu David; Virginie Wiels (NFM, 2018)

Verification Coverage for Combining Test and Proof. - Viet Hoang Le; Loïc Correnson; Julien Signoles; Virginie Wiels (TAP@STAF, 2018)