Antoine Requet

13 papers A 1C 5Journal 2Unranked 5

Year	Rank	Type	Title / Venue / Authors
2012	C	`conf`	Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
2008	C	`conf`	BART: A Tool for Automatic Refinement. ABZ Antoine Requet
2006	—	`conf`	JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
2003	J	`jnl`	A B model for ensuring soundness of a large subset of the Java Card virtual machine. Sci. Comput. Program. Antoine Requet
2003	—	`conf`	Adaptable Translator of B Specifications to Embedded C Programs. FME Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
2003	J	`jnl`	Développement formel d'un vérifieur embarqué de byte-code Java. Tech. Sci. Informatiques Lilian Burdy, Ludovic Casset, Antoine Requet
2003	—	`conf`	Extending B with Control Flow Breaks. ZB Lilian Burdy, Antoine Requet
2003	—	`conf`	Java Applet Correctness: A Developer-Oriented Approach. FME Lilian Burdy, Antoine Requet, Jean-Louis Lanet
2003	C	`conf`	Java Card Code Generation from B Specifications. ICFEM Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
2002	A	`conf`	Formal Development of an Embedded Verifier for Java Card Byte Code. DSN Ludovic Casset, Lilian Burdy, Antoine Requet
2000	—	`conf`	Application of the B formal method to the proof of a type verification algorithm. HASE Antoine Requet, Ludovic Casset, Gilles Grimaud
2000	C	`conf`	Embedding Formally Proved Code in a Smart Card: Converting B to C. ICFEM Antoine Requet, Gaëlle Bossu
1998	C	`conf`	Formal Proof of Smart Card Applets Correctness. CARDIS Jean-Louis Lanet, Antoine Requet