english version Toutes les publications de l'équipe
Publications hurlin
[Format BibTeX]

[HH07a] Marieke Huisman and Clément Hurlin. Permission specifications for common multithreaded programming patterns. In Reflections on Type Theory, Lambda Calculus, and the Mind. Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 2007. [ bib | .pdf ]
[HCF+07] Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark Weber. Practical proof reconstruction for first-order logic and set-theoretical constructions. In Lucas Dixon and Moa Johansson, editors, Isabelle Workshop (ISABELLE-WS), pages 2-13, Bremen, Germany, 2007. [ bib | .pdf ]
[HH07b] Marieke Huisman and Clément Hurlin. The stability problem for verification of concurrent object-oriented programs. In Verification and Analysis of Multi-threaded Java-like Programs (VAMP), 2007. To appear. [ bib | .pdf ]
[Hur06] Clément Hurlin. Proof reconstruction for first-order logic and set-theoretical constructions. In Stefan Merz and Tobias Nipkow, editors, International Workshop on Automated Verification of Critical Systems (AVOCS), pages 157-162, 2006. [ bib | .pdf ]

This file has been generated by bibtex2html 1.87.

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