Virginie Wiels

	2009
22		Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny: Formal Verification of Avionics Software Products. FM 2009: 532-546
21		Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
	2008
20		Guy 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
18		Kurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
	2006
17		Odile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
16		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
15		Yamine 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
13		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
12		Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
11		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
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
9		Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
	2000
8		Marielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528
7		Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16
6		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
5		Pierre 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
4		Virginie Wiels, Steve M. Easterbrook: Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122
	1998
3		Virginie Wiels, Steve M. Easterbrook: Management of Evolving Specifications using Category Theory. ASE 1998: 12-21
	1997
2		Pierre Michel, Virginie Wiels: A Framework for Modular Formal Specification and Verification. FME 1997: 533-552
	1996
1		Christel Seguin, Virginie Wiels: Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME 1996: 347-366

Coauthor Index

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

Colors in the list of coauthors