Ludovic Casset

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Développement formel d'un vérifieur embarqué de byte-code Java.
Tech. Sci. Informatiques, 2003

2002
Increasing smart card dependability.
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.
Proceedings of the FME 2002: Formal Methods, 2002

Formal Development of an Embedded Verifier for Java Card Byte Code.
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.
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.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999


  Loading...