Search the dblp DataBase

Publications of Author

1. Jean-Louis Lanet, Antoine Requet
   Formal Proof of Smart Card Applets Correctness. [Citation Graph (0, 0)][DBLP]
   CARDIS, 1998, pp:85-97 [Conf]
   
2. Ludovic Casset, Lilian Burdy, Antoine Requet
   Formal Development of an Embedded Verifier for Java Card Byte Code. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:51-58 [Conf]
   
3. Lilian Burdy, Antoine Requet, Jean-Louis Lanet
   Java Applet Correctness: A Developer-Oriented Approach. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:422-439 [Conf]
   
4. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
   Adaptable Translator of B Specifications to Embedded C Programs. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:94-113 [Conf]
   
5. Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
   Java Card Code Generation from B Specifications. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:306-318 [Conf]
   
6. Antoine Requet, Gaëlle Bossu
   Embedding Formally Proved Code in a Smart Card: Converting B to C. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2000, pp:15-0 [Conf]
   
7. Lilian Burdy, Antoine Requet
   Extending B with Control Flow Breaks. [Citation Graph (0, 0)][DBLP]
   ZB, 2003, pp:513-527 [Conf]
   
8. Antoine Requet
   A B model for ensuring soundness of a large subset of the Java Card virtual machine. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2003, v:46, n:3, pp:283-306 [Journal]
   
9. Lilian Burdy, Ludovic Casset, Antoine Requet
   Développement formel d'un vérifieur embarqué de byte-code Java. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2003, v:22, n:1, pp:33-60 [Journal]
   
10. 
    BART: A Tool for Automatic Refinement. [Citation Graph (, )][DBLP]
    
    
11. 
    JACK - A Tool for Validation of Security and Behaviour of Java Applications. [Citation Graph (, )][DBLP]