Virginie Wiels

According to our database, Virginie Wiels authored at least 42 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Verification Coverage for Combining Test and Proof.

Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Automatic Generation of DO-178 Test Procedures.

César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

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

2016

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.

Antoine Ferlin, Virginie Wiels, Philippe Bon

Int. J. Comput. Commun. Control, 2016

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

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182).

Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels

Dagstuhl Reports, 2015

Show Me New Counterexamples: A Path-Based Approach.

Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

A formal experiment to assess the efficacy of certification standards.

Virginie Wiels

CoRR, 2014

The Landing Gear System Case Study.

Frédéric Boniol, Virginie Wiels

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.

Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate

IEEE Softw., 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

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Behavioural Verification in Embedded Software, from Model to Source Code.

Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

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

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Combination of Static and Dynamic Analyses for the Certification of Avionics Software.

Antoine Ferlin, Virginie Wiels

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Undesirable Aspect Interactions: A Prevention Policy.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Categorical Modeling Approach of Aspect-Oriented Systems.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

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

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Model checking flight control systems: The Airbus experience.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 31st International Conference on Software Engineering, 2009

Formal Verification of Avionics Software Products.

Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny

Proceedings of the FM 2009: Formal Methods, 2009

2008

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.

Guy Durrieu, Hélène Waeselynck, Virginie Wiels

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Introduction.

Kurt Stirewalt, Virginie Wiels

Autom. Softw. Eng., 2007

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

A methodology for automated test generation guided by functional coverage constraints at specification level.

Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

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

Proceedings of the Leveraging Applications of Formal Methods, 2006

2004

A framework for heterogeneous formal modeling and compositional verification of avionics systems.

Yamine Aït Ameur, Remi Delmas, Virginie Wiels

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Formal proof and test case generation for critical embedded systems using SCADE.

Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the Building the Information Society, 2004

2003

Robustness analysis of avionics embedded systems.

Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels

Proceedings of the 2003 Conference on Languages, 2003

Analyse de robustesse de systèmes avioniques.

Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2002

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

2001

Using Formal Verification Techniques to Reduce Simulation and Test Effort.

Odile Laurent, Pierre Michel, Virginie Wiels

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

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

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Checking Secure Interactions of Smart Card Applets.

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

Proceedings of the Computer Security, 2000

Extended Institutions for Testing.

Marielle Doche, Virginie Wiels

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Electronic Purse Applet Certification: extended abstract.

Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet

Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999

Formal Modeling of Space Shuttle Software Change Requests using SCR.

Virginie Wiels, Steve M. Easterbrook

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998

Management of Evolving Specifications using Category Theory.

Virginie Wiels, Steve M. Easterbrook

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

V & V through Inconsistency Tracking and Analysis.

Steve Easterbrook, John R. Callahan, Virginie Wiels

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997

A Framework for Modular Formal Specification and Verification.

Pierre Michel, Virginie Wiels

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.

Christel Seguin, Virginie Wiels

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996