Lilian Burdy

20 papers A 1B 1C 6Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — conf
Assigning Safe Executed Systems to Meanings.
RSSRail
Lilian Burdy, David Déharbe, Denis Sabatier
2020 C conf
A Safety Flasher Developed with the CLEARSY Safety Platform.
FMICS
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
2020 C conf
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.
ABZ
Héctor Ruíz Barradas, Lilian Burdy, David Déharbe
2018 C conf
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B.
ABZ
Lilian Burdy, David Déharbe
2016 — conf
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa".
F-IDE@FM
Lilian Burdy, David Déharbe, Étienne Prun
2012 C conf
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.
ABZ
Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
2012 J jnl
Formally Checking Large Data Sets in the Railways
CoRR
Thierry Lecomte, Lilian Burdy, Michael Leuschel
2007 B conf
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.
FASE
Lilian Burdy, Marieke Huisman, Mariela Pavlova
2007 — conf
The B-Method for the Construction of Microkernel-Based Systems.
B
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy
2006 — conf
JACK - A Tool for Validation of Security and Behaviour of Java Applications.
FMCO
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
2006 Misc conf
Java bytecode specification and verification.
SAC
Lilian Burdy, Mariela Pavlova
2005 J jnl
An overview of JML tools and applications.
Int. J. Softw. Tools Technol. Transf.
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2005 — ed.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
CASSIS
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
2004 C conf
Enforcing High-Level Security Properties for Applets.
CARDIS
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
2003 C conf
An overview of JML tools and applications.
FMICS
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2003 J jnl
Développement formel d'un vérifieur embarqué de byte-code Java.
Tech. Sci. Informatiques
Lilian Burdy, Ludovic Casset, Antoine Requet
2003 — conf
Extending B with Control Flow Breaks.
ZB
Lilian Burdy, Antoine Requet
2003 — conf
Java Applet Correctness: A Developer-Oriented Approach.
FME
Lilian Burdy, Antoine Requet, Jean-Louis Lanet
2002 A conf
Formal Development of an Embedded Verifier for Java Card Byte Code.
DSN
Ludovic Casset, Lilian Burdy, Antoine Requet
1998 — conf
Well Defined B.
B
Patrick Behm, Lilian Burdy, Jean-Marc Meynadier