Antoine Requet

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Hough Transform

European Project

Top Venues

Publications

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ (2012)
Antoine Requet
BART: A Tool for Automatic Refinement. ABZ (2008)
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)
Antoine Requet
A B model for ensuring soundness of a large subset of the Java Card virtual machine. Sci. Comput. Program. 46 (3) (2003)
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
Adaptable Translator of B Specifications to Embedded C Programs. FME (2003)
Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
Java Card Code Generation from B Specifications. ICFEM (2003)
Lilian Burdy, Antoine Requet
Extending B with Control Flow Breaks. ZB (2003)
Lilian Burdy, Antoine Requet, Jean-Louis Lanet
Java Applet Correctness: A Developer-Oriented Approach. FME (2003)
Lilian Burdy, Ludovic Casset, Antoine Requet
Développement formel d'un vérifieur embarqué de byte-code Java. Tech. Sci. Informatiques 22 (1) (2003)
Ludovic Casset, Lilian Burdy, Antoine Requet
Formal Development of an Embedded Verifier for Java Card Byte Code. DSN (2002)
Antoine Requet, Gaëlle Bossu
Embedding Formally Proved Code in a Smart Card: Converting B to C. ICFEM (2000)
Antoine Requet, Ludovic Casset, Gilles Grimaud
Application of the B formal method to the proof of a type verification algorithm. HASE (2000)
Jean-Louis Lanet, Antoine Requet
Formal Proof of Smart Card Applets Correctness. CARDIS (1998)