dblp.uni-trier.dewww.uni-trier.de

Virginie Wiels Vis

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

*2009
21EEThomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
2008
20EEGuy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
2007
19 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 Cépaduès-Éditions 2007
18EEKurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
2006
17EEOdile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
16EEYamine 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
15EEYamine 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
14 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
13EEYamine Aït Ameur, Remi Delmas, Virginie Wiels: A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232
2003
12 Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
11EEYamine 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
10 Pierre 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
9EEOdile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
2000
8EEMarielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528
7EEPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16
6EEPierre 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
5EEPierre 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
4EEVirginie Wiels, Steve M. Easterbrook: Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122
1998
3EEVirginie Wiels, Steve M. Easterbrook: Management of Evolving Specifications using Category Theory. ASE 1998: 12-21
1997
2EEPierre Michel, Virginie Wiels: A Framework for Modular Formal Specification and Verification. FME 1997: 533-552
1996
1EEChristel 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]
8Remi Delmas [13] [15] [16]
9Marielle Doche [8]
10Guy Durrieu [14] [20]
11Steve M. Easterbrook [3] [4]
12Pierre Girard [5] [6] [7] [10]
13Jean-Louis Lanet [5] [6] [7] [10]
14Odile Laurent [9] [14] [17]
15A. El Marouani [6]
16Pierre Michel [2] [9]
17S. Pairault [11] [12]
18Christel Seguin [1] [14] [17]
19R. E. Kurt Stirewalt (Kurt Stirewalt) [18]
20Pierre Virelizier [21]
21Hélène Waeselynck [20] [21]
22Guy Zanon [5] [6] [7] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)