version française All team publications
Publications - Julien Charles
[BibTeX Format]

[BBC+07] G. Barthe, L. Burdy, J. Charles, B. Grégoire, M. Huisman, J.-L. Lanet, M. Pavlova, and A. Requet. JACK: a tool for validation of security and behaviour of Java applications. In FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science. Springer-Verlag, 2007. To appear. [ bib | .pdf ]
[Cha06] J. Charles. Adding native specifications to JML. In Proceedings of the ECOOP workshop on Formal Techniques for Java-like Programs (FTfJP'2006), 2006. [ bib | .ps ]
[Cha05] J. Charles. Vérification d'un composant Java: Le vérificateur de bytecode. Master's thesis, Université de Nice, 2005. [ bib | .pdf | .ps ]

This file has been generated by bibtex2html 1.87.

on Tue, 02 Sep 2008 00:00:08 +0200