Ludovic Casset

According to our database, Ludovic Casset authored at least 6 papers between 1999 and 2003.

Collaborative distances:

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

2003

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

Lilian Burdy, Ludovic Casset, Antoine Requet

Tech. Sci. Informatiques, 2003

2002

Increasing smart card dependability.

Ludovic Casset, Jean-Louis Lanet

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

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

Ludovic Casset

Proceedings of the FME 2002: Formal Methods, 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

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

1999

How to Formally Specify the Java Bytecode Semantivs Using the B Method.

Ludovic Casset, Jean-Louis Lanet

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999