Lilian Burdy

	2007
13		Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy: The B-Method for the Construction of Microkernel-Based Systems. B 2007: 257-259
12		Lilian Burdy, Marieke Huisman, Mariela Pavlova: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229
	2006
11		Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174
10		Lilian Burdy, Mariela Pavlova: Java bytecode specification and verification. SAC 2006: 1835-1839
	2005
9		Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Springer 2005
8		Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)
	2004
7		Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16
	2003
6		Lilian Burdy, Antoine Requet, Jean-Louis Lanet: Java Applet Correctness: A Developer-Oriented Approach. FME 2003: 422-439
5		Lilian Burdy, Antoine Requet: Extending B with Control Flow Breaks. ZB 2003: 513-527
4		Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: (2003)
3		Lilian Burdy, Ludovic Casset, Antoine Requet: Développement formel d'un vérifieur embarqué de byte-code Java. Technique et Science Informatiques 22(1): 33-60 (2003)
	2002
2		Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58
	1998
1		Patrick Behm, Lilian Burdy, Jean-Marc Meynadier: Well Defined B. B 1998: 29-45

Coauthor Index

1	Gilles Barthe	[7] [9] [11]
2	Patrick Behm	[1]
3	Ludovic Casset	[2] [3]
4	Julien Charles	[11]
5	Yoonsik Cheon	[4] [8]
6	David R. Cok	[4] [8]
7	Michael D. Ernst	[4] [8]
8	Sophie Gabriele	[13]
9	Benjamin Grégoire	[11]
10	Germain Haugou	[13]
11	Sarah Hoffmann	[13]
12	Marieke Huisman	[7] [9] [11] [12]
13	Joseph Kiniry (Joseph R. Kiniry)	[4] [8]
14	Jean-Louis Lanet	[6] [7] [9] [11]
15	Gary T. Leavens	[4] [8]
16	K. Rustan M. Leino	[4] [8]
17	Jean-Marc Meynadier	[1]
18	Traian Muntean	[9]
19	Mariela Pavlova	[7] [10] [11] [12]
20	Erik Poll	[4] [8]
21	Antoine Requet	[2] [3] [5] [6] [11]

Colors in the list of coauthors