| 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 |
