| |
| 2003 | ||
|---|---|---|
| 5 | EE | Lilian 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 | ||
| 4 | EE | Ludovic Casset, Jean-Louis Lanet: Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212 |
| 3 | EE | Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58 |
| 2 | EE | Ludovic Casset: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME 2002: 290-309 |
| 1999 | ||
| 1 | Ludovic Casset, Jean-Louis Lanet: How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105 | |
| 1 | Lilian Burdy | [3] [5] |
| 2 | Jean-Louis Lanet | [1] [4] |
| 3 | Antoine Requet | [3] [5] |