Virginie Wiels Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Souyris, Virginie Wiels, David Delmas, Hervé Delseny: Formal Verification of Avionics Software Products. FM 2009: 532-546
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
2007
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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 Cépaduès-Éditions 2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOdile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Remi Delmas, Virginie Wiels: Un cadre formel pour la spécification multivue de systèmes avioniques. Technique et Science Informatiques 25(1): 43-72 (2006)
2004
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Remi Delmas, Virginie Wiels: A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232
2003
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets: Extended Version. Journal of Computer Security 10(4): 369-398 (2002)
2001
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOdile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
2000
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet: Electronic Purse Applet Certification: extended abstract. Electr. Notes Theor. Comput. Sci. 32: (2000)
1999
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirginie Wiels, Steve M. Easterbrook: Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirginie Wiels, Steve M. Easterbrook: Management of Evolving Specifications using Category Theory. ASE 1998: 12-21
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Michel, Virginie Wiels: A Framework for Modular Formal Specification and Verification. FME 1997: 533-552
1996
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Seguin, Virginie Wiels: Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME 1996: 347-366

Coauthor Index

1Yamine Aït Ameur [11] [12] [13] [15] [16] [19]
2Gérard Bel [11]
3Pierre Bieber [5] [6] [7] [10]
4Thomas Bochot [21]
5Frédéric Boniol [11] [12] [19]
6Jacques Cazin [5] [6] [7] [10]
7Alexandre Cortier [16]
8David Delmas [22]
9Remi Delmas [13] [15] [16]
10Hervé Delseny [22]
11Marielle Doche [8]
12Guy Durrieu [14] [20]
13Steve M. Easterbrook [3] [4]
14Pierre Girard [5] [6] [7] [10]
15Jean-Louis Lanet [5] [6] [7] [10]
16Odile Laurent [9] [14] [17]
17A. El Marouani [6]
18Pierre Michel [2] [9]
19S. Pairault [11] [12]
20Christel Seguin [1] [14] [17]
21Jean Souyris [22]
22R. E. Kurt Stirewalt (Kurt Stirewalt) [18]
23Pierre Virelizier [21]
24Hélène Waeselynck [20] [21]
25Guy Zanon [5] [6] [7] [10]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)