- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry: Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ 2012: 369-372 |
| 2008 | ||
| c9 | | |
| 2006 | ||
| c8 | | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174 |
| 2003 | ||
| j2 | | 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) |
| j1 | | 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) |
| c7 | | Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin: Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113 |
| c6 | | Lilian Burdy, Antoine Requet, Jean-Louis Lanet: Java Applet Correctness: A Developer-Oriented Approach. FME 2003: 422-439 |
| c5 | | Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad: Java Card Code Generation from B Specifications. ICFEM 2003: 306-318 |
| c4 | | |
| 2002 | ||
| c3 | | Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58 |
| 2000 | ||
| c2 | | Antoine Requet, Gaëlle Bossu: Embedding Formally Proved Code in a Smart Card: Converting B to C. ICFEM 2000: 15- |
| 1998 | ||
| c1 | | Jean-Louis Lanet, Antoine Requet: Formal Proof of Smart Card Applets Correctness. CARDIS 1998: 85-97 |
Colors in the list of coauthors
Last update Wed May 22 23:04:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page