default search action
Virginie Wiels
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c32]César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels:
Automatic Generation of DO-178 Test Procedures. NFM 2018: 399-415 - [c31]Viet Hoang Le, Loïc Correnson, Julien Signoles
, Virginie Wiels:
Verification Coverage for Combining Test and Proof. TAP@STAF 2018: 120-138 - 2017
- [j8]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19(2): 133-140 (2017) - 2016
- [j7]Antoine Ferlin, Virginie Wiels, Philippe Bon:
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. Int. J. Comput. Commun. Control 11(5): 645-656 (2016) - 2015
- [j6]Alexandru-Robert Guduvan, Hélène Waeselynck
Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. 12(4): 374-391 (2015) - [c30]Kalou Cabrera Castillos, Hélène Waeselynck
Show Me New Counterexamples: A Path-Based Approach. ICST 2015: 1-10 - [i2]Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels:
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). Dagstuhl Reports 5(4): 142-159 (2015) - 2014
- [c29]Frédéric Boniol, Virginie Wiels:
The Landing Gear System Case Study. ABZ (Case Study) 2014: 1-18 - [e2]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2 [contents] - [i1]Virginie Wiels:
A formal experiment to assess the efficacy of certification standards. CoRR abs/1404.7542 (2014) - 2013
- [j5]Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate:
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Softw. 30(3): 50-57 (2013) - [c28]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
STELAE - A model-driven test development environment for avionics systems. ISORC 2013: 1-8 - [c27]Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat:
Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS 2013: 320-335 - [c26]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD 2013: 5-13 - 2012
- [c25]Antoine Ferlin
Combination of Static and Dynamic Analyses for the Certification of Avionics Software. ISSRE Workshops 2012: 331-336 - [c24]Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. SERE (Companion) 2012: 75-84 - 2011
- [c23]Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
A Categorical Modeling Approach of Aspect-Oriented Systems. TASE 2011: 85-92 - [c22]Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
Undesirable Aspect Interactions: A Prevention Policy. TASE 2011: 225-228 - 2010
- [j4]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12(1): 1-7 (2010) - [c21]Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE 2010: 74-83 - [c20]Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels:
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) 2010: 58-59
2000 – 2009
- 2009
- [c19]Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny:
Formal Verification of Avionics Software Products. FM 2009: 532-546 - [c18]Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27 - 2008
- [c17]Guy Durrieu, Hélène Waeselynck, Virginie Wiels:
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22 - 2007
- [j3]Kurt Stirewalt, Virginie Wiels:
Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007) - [e1]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Revue des Nouvelles Technologies de l'Information RNTI-SM-1, Cépaduès-Éditions 2007, ISBN 978-2-85428-814-8 [contents] - 2006
- [j2]Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
Un cadre formel pour la spécification multivue de systèmes avioniques. Tech. Sci. Informatiques 25(1): 43-72 (2006) - [c16]Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels:
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA 2006: 36-44 - [c15]Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288 - 2004
- [c14]Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels:
Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504 - [c13]Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232 - 2003
- [c12]Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels:
Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124 - [c11]Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels:
Robustness analysis of avionics embedded systems. LCTES 2003: 123-132 - 2002
- [j1]Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon:
Checking Secure Interactions of Smart Card Applets: Extended Version. J. Comput. Secur. 10(4): 369-398 (2002) - 2001
- [c10]Odile Laurent, Pierre Michel, Virginie Wiels:
Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477 - 2000
- [c9]Marielle Doche, Virginie Wiels:
Extended Institutions for Testing. AMAST 2000: 514-528 - [c8]Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon:
Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16 - [c7]Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon:
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. Java Card Workshop 2000: 25-37
1990 – 1999
- 1999
- [c6]Virginie Wiels, Steve M. Easterbrook:
Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122 - [c5]Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet:
Electronic Purse Applet Certification: extended abstract. Workshop on Secure Architectures and Information Flow 1999: 14-25 - 1998
- [c4]Steve Easterbrook, John R. Callahan, Virginie Wiels:
V & V through Inconsistency Tracking and Analysis. IWSSD 1998: 43-49 - [c3]Virginie Wiels, Steve M. Easterbrook:
Management of Evolving Specifications using Category Theory. ASE 1998: 12-21 - 1997
- [c2]Pierre Michel, Virginie Wiels:
A Framework for Modular Formal Specification and Verification. FME 1997: 533-552 - 1996
- [c1]Christel Seguin, Virginie Wiels:
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME 1996: 347-366
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: