Lilian Burdy

According to our database, Lilian Burdy authored at least 18 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Assigning Safe Executed Systems to Meanings.

Lilian Burdy, David Déharbe, Denis Sabatier

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2020

A Safety Flasher Developed with the CLEARSY Safety Platform.

Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.

Héctor Ruíz Barradas, Lilian Burdy, David Déharbe

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B.

Lilian Burdy, David Déharbe

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2016

Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa".

Lilian Burdy, David Déharbe, Étienne Prun

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

2012

Formally Checking Large Data Sets in the Railways

Thierry Lecomte, Lilian Burdy, Michael Leuschel

CoRR, 2012

Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2007

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.

Lilian Burdy, Marieke Huisman, Mariela Pavlova

Proceedings of the Fundamental Approaches to Software Engineering, 2007

The B-Method for the Construction of Microkernel-Based Systems.

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Java bytecode specification and verification.

Lilian Burdy, Mariela Pavlova

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

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

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

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

2004

Enforcing High-Level Security Properties for Applets.

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Proceedings of the Smart Card Research and Advanced Applications VI, 2004

2003

Développement formel d'un vérifieur embarqué de byte-code Java.

Lilian Burdy, Ludovic Casset, Antoine Requet

Tech. Sci. Informatiques, 2003

Extending B with Control Flow Breaks.

Lilian Burdy, Antoine Requet

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Java Applet Correctness: A Developer-Oriented Approach.

Lilian Burdy, Antoine Requet, Jean-Louis Lanet

Proceedings of the FME 2003: Formal Methods, 2003

2002

Formal Development of an Embedded Verifier for Java Card Byte Code.

Ludovic Casset, Lilian Burdy, Antoine Requet

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

1998

Well Defined B.

Patrick Behm, Lilian Burdy, Jean-Marc Meynadier

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998