| 2018 | TAP | Verification Coverage for Combining Test and Proof. | Viet Hoang Le, Loc Correnson, Julien Signoles, Virginie Wiels |
| 2015 | ICST | Show Me New Counterexamples: A Path-Based Approach. | Kalou Cabrera Castillos, Hlne Waeselynck, Virginie Wiels |
| 2013 | ISORC | STELAE - A model-driven test development environment for avionics systems. | Alexandru-Robert Guduvan, Hlne Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber |
| 2013 | MODELS | Behavioural Verification in Embedded Software, from Model to Source Code. | Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stphane Duprat |
| 2013 | MODELSWARD | A Meta-model for Tests of Avionics Embedded Systems. | Alexandru-Robert Guduvan, Hlne Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber |
| 2012 | ISSRE | Combination of Static and Dynamic Analyses for the Certification of Avionics Software. | Antoine Ferlin, Virginie Wiels |
| 2011 | TASE | A Categorical Modeling Approach of Aspect-Oriented Systems. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2011 | TASE | Undesirable Aspect Interactions: A Prevention Policy. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2010 | ISoLA | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. | Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels |
| 2009 | FM | Formal Verification of Avionics Software Products. | Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny |
| 2009 | ICSE | Model checking flight control systems: The Airbus experience. | Thomas Bochot, Pierre Virelizier, Hlne Waeselynck, Virginie Wiels |
| 2008 | FMICS | LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. | Guy Durrieu, Hlne Waeselynck, Virginie Wiels |
| 2006 | ISoLA | Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. | Yamine At Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
| 2004 | MEMOCODE | A framework for heterogeneous formal modeling and compositional verification of avionics systems. | Yamine At Ameur, Remi Delmas, Virginie Wiels |
| 2001 | FM | Using Formal Verification Techniques to Reduce Simulation and Test Effort. | Odile Laurent, Pierre Michel, Virginie Wiels |
| 2000 | ESORICS | Checking Secure Interactions of Smart Card Applets. | Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
| 1999 | RE | Formal Modeling of Space Shuttle Software Change Requests using SCR. | Virginie Wiels, Steve M. Easterbrook |
| 1997 | FM | A Framework for Modular Formal Specification and Verification. | Pierre Michel, Virginie Wiels |
| 1996 | FM | Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. | Christel Seguin, Virginie Wiels |