Ludovic Casset

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

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
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME (2002)
Ludovic Casset, Lilian Burdy, Antoine Requet
Formal Development of an Embedded Verifier for Java Card Byte Code. DSN (2002)
Ludovic Casset, Jean-Louis Lanet
Increasing smart card dependability. ACM SIGOPS European Workshop (2002)
Antoine Requet, Ludovic Casset, Gilles Grimaud
Application of the B formal method to the proof of a type verification algorithm. HASE (2000)
Ludovic Casset, Jean-Louis Lanet
How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops (1999)