herms.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc herms.cite -ob herms.bib -c 'author : "herms"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@inproceedings{herms10coq,
  author = {Paolo Herms},
  title = {Certification of a chain for deductive program verification},
  booktitle = {2nd Coq Workshop, satellite of ITP'10},
  year = 2010,
  x-international-audience = {yes},
  x-proceedings = {no},
  hal = {http://hal.inria.fr/inria-00535640},
  editor = {Yves Bertot},
  x-equipes = {demons PROVAL},
  x-support = {actes_aux},
  x-cle-support = {COQ},
  x-type = {article},
  topics = {team}
}
@mastersthesis{herms09master,
  author = {Paolo Herms},
  title = {Partial Type Inference with Higher-Order Types},
  school = {Universit\`a di Pisa},
  year = 2009,
  topics = {team}
}
@inproceedings{herms12vstte,
  title = {A Certified Multi-prover Verification Condition Generator},
  author = {Paolo Herms and Claude March{\'e} and Benjamin Monate},
  crossref = {vstte12},
  hal = {http://hal.inria.fr/hal-00639977},
  pages = {2--17},
  x-equipes = {demons PROVAL ext},
  url = {http://proval.lri.fr/publications/herms12vstte.pdf},
  topics = {team}
}
@techreport{herms11rr,
  title = {A Certified Multi-prover Verification Condition Generator},
  author = {Paolo Herms and Claude March{\'e} and Benjamin Monate},
  x-equipes = {demons PROVAL ext},
  topics = {team},
  institution = {INRIA},
  year = 2011,
  x-support = {rapport},
  x-type = {article},
  hal = {http://hal.inria.fr/hal-00639977/en/},
  note = {\url{http://hal.inria.fr/hal-00639977/en/}},
  type = {Research Report},
  number = 7793
}
@phdthesis{herms13phd,
  author = {Paolo Herms},
  title = {Certification of a Tool Chain for Deductive Program Verification},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-00789543},
  note = {\url{http://tel.archives-ouvertes.fr/tel-00789543}},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2013,
  month = jan
}
@proceedings{vstte12,
  booktitle = {Verified Software: Theories, Tools, Experiments (4th International Conference VSTTE)},
  month = jan,
  year = 2012,
  address = {Philadelphia, USA},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Rajeev Joshi and Peter M{\"u}ller and Andreas Podelski},
  series = {Lecture Notes in Computer Science},
  volume = 7152,
  publisher = {Springer}
}