hurlin.bib

@INPROCEEDINGS{HuismanH07b,
  author = {Marieke Huisman and Cl\'ement Hurlin},
  title = {Permission Specifications for Common Multithreaded Programming Patterns},
  booktitle = {Reflections
on Type Theory, Lambda Calculus, and the Mind. Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday},
  year = 2007,
  topics = {team},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/patterns.pdf}
}

@INPROCEEDINGS{HurlinCFMW07,
  author = {Cl\'ement Hurlin and Amine Chaieb and Pascal Fontaine and Stephan Merz and Tjark Weber},
  title = {Practical Proof Reconstruction for First-Order Logic and Set-Theoretical Constructions},
  booktitle = {\href{http://homepages.inf.ed.ac.uk/ldixon/events/isabelle-ws-07/}{Isabelle Workshop (ISABELLE-WS)}},
  editor = {Lucas Dixon and Moa Johansson},
  pages = {2--13},
  year = {2007},
  address = {Bremen, Germany},
  pdfurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/isabellews07.pdf},
  texurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/isabellews07.tex},
  topics = {team}
}

@INPROCEEDINGS{HuismanH07,
  author = {Marieke Huisman and Cl\'ement Hurlin},
  title = {The Stability Problem for Verification of Concurrent Object-Oriented Programs},
  booktitle = {Verification and Analysis of Multi-threaded Java-like Programs (VAMP)},
  year = 2007,
  note = {To appear},
  topics = {team},
  pdfurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/vamp07.pdf},
  texurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/vamp07.tex}
}

@INPROCEEDINGS{Hurlin:2006:avocs,
  author = {Cl\'ement Hurlin},
  title = {Proof reconstruction for first-order logic and set-theoretical constructions},
  booktitle = {\href{http://avocs06.loria.fr/}{International Workshop on Automated Verification of Critical Systems (AVOCS)}},
  editor = {Stefan Merz and Tobias Nipkow},
  pages = {157--162},
  year = {2006},
  pdfurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/avocs06.pdf},
  texurl = {http://www-sop.inria.fr/everest/Clement.Hurlin/publis/avocs06.tex},
  topics = {team}
}

This file has been generated by bibtex2html 1.87.