dblp.uni-trier.dewww.uni-trier.de

Lilian Burdy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
13EESarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy: The B-Method for the Construction of Microkernel-Based Systems. B 2007: 257-259
12EELilian Burdy, Marieke Huisman, Mariela Pavlova: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229
2006
11EEGilles 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
10EELilian Burdy, Mariela Pavlova: Java bytecode specification and verification. SAC 2006: 1835-1839
2005
9 Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Springer 2005
8EELilian 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)
2004
7 Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16
2003
6EELilian Burdy, Antoine Requet, Jean-Louis Lanet: Java Applet Correctness: A Developer-Oriented Approach. FME 2003: 422-439
5EELilian Burdy, Antoine Requet: Extending B with Control Flow Breaks. ZB 2003: 513-527
4EELilian 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: (2003)
3EELilian 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)
2002
2EELudovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58
1998
1EEPatrick Behm, Lilian Burdy, Jean-Marc Meynadier: Well Defined B. B 1998: 29-45

Coauthor Index

1Gilles Barthe [7] [9] [11]
2Patrick Behm [1]
3Ludovic Casset [2] [3]
4Julien Charles [11]
5Yoonsik Cheon [4] [8]
6David R. Cok [4] [8]
7Michael D. Ernst [4] [8]
8Sophie Gabriele [13]
9Benjamin Grégoire [11]
10Germain Haugou [13]
11Sarah Hoffmann [13]
12Marieke Huisman [7] [9] [11] [12]
13Joseph Kiniry (Joseph R. Kiniry) [4] [8]
14Jean-Louis Lanet [6] [7] [9] [11]
15Gary T. Leavens [4] [8]
16K. Rustan M. Leino [4] [8]
17Jean-Marc Meynadier [1]
18Traian Muntean [9]
19Mariela Pavlova [7] [10] [11] [12]
20Erik Poll [4] [8]
21Antoine Requet [2] [3] [5] [6] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)