Lilian Burdy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2002–2020
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMICS | A Safety Flasher Developed with the CLEARSY Safety Platform. | Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy |
| 2007 | FASE | Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
| 2006 | SAC | Java bytecode specification and verification. | Lilian Burdy, Mariela Pavlova |
| 2004 | CARDIS | Enforcing High-Level Security Properties for Applets. | Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet |
| 2003 | FM | Java Applet Correctness: A Developer-Oriented Approach. | Lilian Burdy, Antoine Requet, Jean-Louis Lanet |
| 2002 | DSN | Formal Development of an Embedded Verifier for Java Card Byte Code. | Ludovic Casset, Lilian Burdy, Antoine Requet |