Lilian Burdy

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry: Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ 2012: 369-372

Thierry Lecomte, Lilian Burdy, Michael Leuschel: Formally Checking Large Data Sets in the Railways. CoRR abs/1210.6815 (2012)

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy: The B-Method for the Construction of Microkernel-Based Systems. B 2007: 257-259

Lilian Burdy, Marieke Huisman, Mariela Pavlova: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229

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

Lilian Burdy, Mariela Pavlova: Java bytecode specification and verification. SAC 2006: 1835-1839

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)

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (Eds.): Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3362, Springer 2005, isbn 3-540-24287-2

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16

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: 75-91 (2003)

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)

Lilian Burdy, Antoine Requet, Jean-Louis Lanet: Java Applet Correctness: A Developer-Oriented Approach. FME 2003: 422-439

Lilian Burdy, Antoine Requet: Extending B with Control Flow Breaks. ZB 2003: 513-527

Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58

Patrick Behm, Lilian Burdy, Jean-Marc Meynadier: Well Defined B. B 1998: 29-45