Lilian Burdy

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 5

Top Topics

Effective Learning

Guided Exploration

Resource Bounded

Top Venues

Publications

Lilian Burdy, David Déharbe, Denis Sabatier
Assigning Safe Executed Systems to Meanings. RSSRail (2022)
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
A Safety Flasher Developed with the CLEARSY Safety Platform. FMICS (2020)
Héctor Ruíz Barradas, Lilian Burdy, David Déharbe
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. ABZ (2020)
Lilian Burdy, David Déharbe
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. ABZ (2018)
Lilian Burdy, David Déharbe, Étienne Prun
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". F-IDE@FM (2016)
Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ (2012)
Thierry Lecomte, Lilian Burdy, Michael Leuschel
Formally Checking Large Data Sets in the Railways CoRR (2012)
Lilian Burdy, Marieke Huisman, Mariela Pavlova
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE (2007)
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy
The B-Method for the Construction of Microkernel-Based Systems. B (2007)
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)
Lilian Burdy, Mariela Pavlova
Java bytecode specification and verification. SAC (2006)
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. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
Enforcing High-Level Security Properties for Applets. CARDIS (2004)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Lilian Burdy, Antoine Requet
Extending B with Control Flow Breaks. ZB (2003)
Lilian Burdy, Antoine Requet, Jean-Louis Lanet
Java Applet Correctness: A Developer-Oriented Approach. FME (2003)
Lilian Burdy, Ludovic Casset, Antoine Requet
Développement formel d'un vérifieur embarqué de byte-code Java. Tech. Sci. Informatiques 22 (1) (2003)
Ludovic Casset, Lilian Burdy, Antoine Requet
Formal Development of an Embedded Verifier for Java Card Byte Code. DSN (2002)
Patrick Behm, Lilian Burdy, Jean-Marc Meynadier
Well Defined B. B (1998)