Ludovic Casset

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

5 Lilian Burdy, Ludovic Casset, Antoine Requet: Développement formel d'un vérifieur embarqué de byte-code Java. Technique et Science Informatiques 22(1): 33-60 (2003)

2002

4 Ludovic Casset, Jean-Louis Lanet: Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212

3 Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58

2 Ludovic Casset: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME 2002: 290-309

1999

1 Ludovic Casset, Jean-Louis Lanet: How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105

	2003
5		Lilian Burdy, Ludovic Casset, Antoine Requet: Développement formel d'un vérifieur embarqué de byte-code Java. Technique et Science Informatiques 22(1): 33-60 (2003)
	2002
4		Ludovic Casset, Jean-Louis Lanet: Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212
3		Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58
2		Ludovic Casset: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME 2002: 290-309
	1999
1		Ludovic Casset, Jean-Louis Lanet: How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105

Coauthor Index