Well Defined B. - Patrick Behm; Lilian Burdy; Jean-Marc Meynadier (B, 1998)

Formal Development of an Embedded Verifier for Java Card Byte Code. - Ludovic Casset; Lilian Burdy; Antoine Requet (DSN, 2002)

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

Extending B with Control Flow Breaks. - Lilian Burdy; Antoine Requet (ZB, 2003)

Développement formel d'un vérifieur embarqué de byte-code Java. - Lilian Burdy; Ludovic Casset; Antoine Requet (Tech. Sci. Informatiques, 2003)

Enforcing High-Level Security Properties for Applets. - Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean-Louis Lanet (CARDIS, 2004)

An overview of JML tools and applications. - Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll (Int. J. Softw. Tools Technol. Transf., 2005)

JACK - A Tool for Validation of Security and Behaviour of Java Applications. - Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean-Louis Lanet; Mariela Pavlova; Antoine Requet (FMCO, 2006)

Java bytecode specification and verification. - Lilian Burdy; Mariela Pavlova (SAC, 2006)

The B-Method for the Construction of Microkernel-Based Systems. - Sarah Hoffmann; Germain Haugou; Sophie Gabriele; Lilian Burdy (B, 2007)

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

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

Formally Checking Large Data Sets in the Railways - Thierry Lecomte; Lilian Burdy; Michael Leuschel (CoRR, 2012)

Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". - Lilian Burdy; David Déharbe; Étienne Prun (F-IDE@FM, 2016)

Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. - Lilian Burdy; David Déharbe (ABZ, 2018)

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. - Héctor Ruíz Barradas; Lilian Burdy; David Déharbe (ABZ, 2020)

A Safety Flasher Developed with the CLEARSY Safety Platform. - Thierry Lecomte; Bruno Lavaud; Denis Sabatier; Lilian Burdy (FMICS, 2020)

Assigning Safe Executed Systems to Meanings. - Lilian Burdy; David Déharbe; Denis Sabatier (RSSRail, 2022)