Virginie Wiels

2007
18		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
17	EE	Kurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
2006
16	EE	Odile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
15	EE	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	EE	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	EE	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	EE	Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
2000
8	EE	Marielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528
7	EE	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	EE	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	EE	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	EE	Virginie Wiels, Steve M. Easterbrook: Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122
1998
3	EE	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] [18]
2	Gérard Bel	[11]
3	Pierre Bieber	[5] [6] [7] [10]
4	Frédéric Boniol	[11] [12] [18]
5	Jacques Cazin	[5] [6] [7] [10]
6	Remi Delmas	[13] [15]
7	Marielle Doche	[8]
8	Guy Durrieu	[14]
9	Steve M. Easterbrook	[3] [4]
10	Pierre Girard	[5] [6] [7] [10]
11	Jean-Louis Lanet	[5] [6] [7] [10]
12	Odile Laurent	[9] [14] [16]
13	A. El Marouani	[6]
14	Pierre Michel	[2] [9]
15	S. Pairault	[11] [12]
16	Christel Seguin	[1] [14] [16]
17	R. E. Kurt Stirewalt (Kurt Stirewalt)	[17]
18	Guy Zanon	[5] [6] [7] [10]

Colors in the list of coauthors