Antoine Requet

According to our database, Antoine Requet authored at least 13 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2008

BART: A Tool for Automatic Refinement.

Antoine Requet

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

JACK - A Tool for Validation of Security and Behaviour of Java Applications.

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2003

Développement formel d'un vérifieur embarqué de byte-code Java.

Lilian Burdy, Ludovic Casset, Antoine Requet

Tech. Sci. Informatiques, 2003

A B model for ensuring soundness of a large subset of the Java Card virtual machine.

Antoine Requet

Sci. Comput. Program., 2003

Extending B with Control Flow Breaks.

Lilian Burdy, Antoine Requet

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Java Card Code Generation from B Specifications.

Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad

Proceedings of the Formal Methods and Software Engineering, 2003

Java Applet Correctness: A Developer-Oriented Approach.

Lilian Burdy, Antoine Requet, Jean-Louis Lanet

Proceedings of the FME 2003: Formal Methods, 2003

Adaptable Translator of B Specifications to Embedded C Programs.

Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin

Proceedings of the FME 2003: Formal Methods, 2003

2002

Formal Development of an Embedded Verifier for Java Card Byte Code.

Ludovic Casset, Lilian Burdy, Antoine Requet

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2000

Embedding Formally Proved Code in a Smart Card: Converting B to C.

Antoine Requet, Gaëlle Bossu

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Application of the B formal method to the proof of a type verification algorithm.

Antoine Requet, Ludovic Casset, Gilles Grimaud

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1998

Formal Proof of Smart Card Applets Correctness.

Jean-Louis Lanet, Antoine Requet

Proceedings of the Smart Card Research and Applications, This International Conference, 1998