version française All team publications
Publications pichardie
[BibTeX Format]

[BPR06] G. Barthe, D. Pichardie, and T. Rezk. Deriving an information flow checker for the JVM. Technical report, INRIA, 2006. [ bib ]
[BFPR06] G. Barthe, J. Forest, D. Pichardie, and V. Rusu. Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant. In M. Hagiya and P. Wadler, editors, Proceedings of FLOPS'06, volume 3945 of Lecture Notes in Computer Science, pages 114-129. Springer-Verlag, 2006. [ bib | .pdf | .ps.gz ]
[CJPR05] D. Cachera, T. Jensen, D. Pichardie, and Vlad Rusu. Extracting a data flow analyser in constructive logic. tcs, 342(1):56-78, September 2005. Extended version of [CJPR04]. [ bib ]
[CJPS05] D. Cachera, T. Jensen, D. Pichardie, and Gerardo Schneider. Certified memory usage analysis. In Proc.of 13th International Symposium on Formal Methods (FM'05), volume 3582 of Lecture Notes in Computer Science, pages 91-106. Springer-Verlag, 2005. [ bib ]
[CJPR04] D. Cachera, T. Jensen, D. Pichardie, and Vlad Rusu. Extracting a data flow analyser in constructive logic. In Proceedings of ESOP'04, volume 2986 of Lecture Notes in Computer Science, pages 385-400. Springer-Verlag, 2004. [ bib ]

This file has been generated by bibtex2html 1.87.

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