| 2003 |
|---|
| 9 | EE | Lilian Burdy,
Antoine Requet,
Jean-Louis Lanet:
Java Applet Correctness: A Developer-Oriented Approach.
FME 2003: 422-439 |
| 8 | EE | Didier Bert,
Sylvain Boulmé,
Marie-Laure Potet,
Antoine Requet,
Laurent Voisin:
Adaptable Translator of B Specifications to Embedded C Programs.
FME 2003: 94-113 |
| 7 | EE | Bruno Tatibouët,
Antoine Requet,
Jean-Christophe Voisinet,
Ahmed Hammad:
Java Card Code Generation from B Specifications.
ICFEM 2003: 306-318 |
| 6 | EE | Lilian Burdy,
Antoine Requet:
Extending B with Control Flow Breaks.
ZB 2003: 513-527 |
| 5 | EE | Antoine Requet:
A B model for ensuring soundness of a large subset of the Java Card virtual machine.
Sci. Comput. Program. 46(3): 283-306 (2003) |
| 4 | 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 |
|---|
| 3 | EE | Ludovic Casset,
Lilian Burdy,
Antoine Requet:
Formal Development of an Embedded Verifier for Java Card Byte Code.
DSN 2002: 51-58 |
| 2000 |
|---|
| 2 | EE | Antoine Requet,
Gaëlle Bossu:
Embedding Formally Proved Code in a Smart Card: Converting B to C.
ICFEM 2000: 15- |
| 1998 |
|---|
| 1 | | Jean-Louis Lanet,
Antoine Requet:
Formal Proof of Smart Card Applets Correctness.
CARDIS 1998: 85-97 |
