Virginie Wiels

44 papers A* 2A 4B 2C 6Misc 2Journal 10Unranked 17

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	Automatic Generation of DO-178 Test Procedures. NFM César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels
2018	—	`conf`	Verification Coverage for Combining Test and Proof. TAP@STAF Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels
2017	J	`jnl`	The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2016	J	`jnl`	Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. Int. J. Comput. Commun. Control Antoine Ferlin, Virginie Wiels, Philippe Bon
2015	J	`jnl`	Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). Dagstuhl Reports Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels
2015	A	`conf`	Show Me New Counterexamples: A Path-Based Approach. ICST Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
2015	J	`jnl`	Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2014	J	`jnl`	A formal experiment to assess the efficacy of certification standards. CoRR Virginie Wiels
2014	—	`ed.`	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 ABZ (Case Study) Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2014	—	`conf`	The Landing Gear System Case Study. ABZ (Case Study) Frédéric Boniol, Virginie Wiels
2013	C	`conf`	A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2013	A	`conf`	Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
2013	C	`conf`	STELAE - A model-driven test development environment for avionics systems. ISORC Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2013	J	`jnl`	Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Softw. Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate
2012	—	`conf`	Combination of Static and Dynamic Analyses for the Certification of Avionics Software. ISSRE Workshops Antoine Ferlin, Virginie Wiels
2012	—	`conf`	Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. SERE (Companion) Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2011	Misc	`conf`	A Categorical Modeling Approach of Aspect-Oriented Systems. TASE Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2011	Misc	`conf`	Undesirable Aspect Interactions: A Prevention Policy. TASE Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2010	—	`conf`	Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
2010	—	`conf`	Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels
2010	J	`jnl`	Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels
2009	B	`conf`	Formal Verification of Avionics Software Products. FM Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny
2009	—	`conf`	Model checking flight control systems: The Airbus experience. ICSE Companion Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
2008	C	`conf`	LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS Guy Durrieu, Hélène Waeselynck, Virginie Wiels
2007	C	`ed.`	ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 ISoLA Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels
2007	J	`jnl`	Introduction. Autom. Softw. Eng. Kurt Stirewalt, Virginie Wiels
2006	A*	`conf`	A methodology for automated test generation guided by functional coverage constraints at specification level. ASE Odile Laurent, Christel Seguin, Virginie Wiels
2006	C	`conf`	Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels
2006	J	`jnl`	Un cadre formel pour la spécification multivue de systèmes avioniques. Tech. Sci. Informatiques Yamine Aït Ameur, Remi Delmas, Virginie Wiels
2004	C	`conf`	A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE Yamine Aït Ameur, Remi Delmas, Virginie Wiels
2004	—	`conf`	Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
2003	—	`conf`	Analyse de robustesse de systèmes avioniques. JFLA Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels
2003	B	`conf`	Robustness analysis of avionics embedded systems. LCTES Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels
2002	J	`jnl`	Checking Secure Interactions of Smart Card Applets: Extended Version. J. Comput. Secur. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
2001	—	`conf`	Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME Odile Laurent, Pierre Michel, Virginie Wiels
2000	A	`conf`	Checking Secure Interactions of Smart Card Applets. ESORICS Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
2000	—	`conf`	Extended Institutions for Testing. AMAST Marielle Doche, Virginie Wiels
2000	—	`conf`	The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. Java Card Workshop Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
1999	—	`conf`	Electronic Purse Applet Certification: extended abstract. Workshop on Secure Architectures and Information Flow Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
1999	A	`conf`	Formal Modeling of Space Shuttle Software Change Requests using SCR. RE Virginie Wiels, Steve M. Easterbrook
1998	A*	`conf`	Management of Evolving Specifications using Category Theory. ASE Virginie Wiels, Steve M. Easterbrook
1998	—	`conf`	V & V through Inconsistency Tracking and Analysis. IWSSD Steve Easterbrook, John R. Callahan, Virginie Wiels
1997	—	`conf`	A Framework for Modular Formal Specification and Verification. FME Pierre Michel, Virginie Wiels
1996	—	`conf`	Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME Christel Seguin, Virginie Wiels