publications.bib
@inproceedings{DBLP:conf/safecomp/BonichonCCGHHLM11,
author = {Richard Bonichon and
G{\'e}raud Canet and
Lo\"{\i}c Correnson and
Eric Goubault and
Emmanuel Haucourt and
Michel Hirschowitz and
S{\'e}bastien Labb{\'e} and
Samuel Mimram},
title = {Rigorous Evidence of Freedom from Concurrency Faults in
Industrial Control Software},
booktitle = {SAFECOMP},
year = {2011},
pages = {85-98},
ee = {http://dx.doi.org/10.1007/978-3-642-24270-0_7},
crossref = {DBLP:conf/safecomp/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/safecomp/2011,
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Computer Safety, Reliability, and Security - 30th International
Conference, SAFECOMP 2011, Naples, Italy, September 19-22,
2011. Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6894},
year = {2011},
isbn = {978-3-642-24269-4},
ee = {http://dx.doi.org/10.1007/978-3-642-24270-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@article{DBLP:journals/siu/BonichonC11,
author = {Richard Bonichon and
Pascal Cuoq},
title = {A Mergeable Interval Map},
journal = {Stud. Inform. Univ.},
volume = {9},
number = {1},
year = {2011},
pages = {5-37},
ee = {http://studia.complexica.net/index.php?option=com_content{\&}view=article{\&}id=185\%3Aa-mergeable-interval-map\%20pp-5-37},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@inproceedings{DBLP:conf/cade/Bonichon04,
author = {Richard Bonichon},
title = {TaMeD: A Tableau Method for Deduction Modulo},
booktitle = {IJCAR},
year = {2004},
pages = {445-459},
ee = {http://dx.doi.org/10.1007/978-3-540-25984-8_33},
crossref = {DBLP:conf/cade/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/cade/2004,
editor = {David A. Basin and
Micha{\"e}l Rusinowitch},
title = {Automated Reasoning - Second International Joint Conference,
IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings},
booktitle = {IJCAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3097},
year = {2004},
isbn = {3-540-22345-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@inproceedings{DBLP:conf/types/BonichonH06,
author = {Richard Bonichon and
Olivier Hermant},
title = {On Constructive Cut Admissibility in Deduction Modulo},
booktitle = {TYPES},
year = {2006},
pages = {33-47},
ee = {http://dx.doi.org/10.1007/978-3-540-74464-1_3},
crossref = {DBLP:conf/types/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/types/2006,
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Types for Proofs and Programs, International Workshop, TYPES
2006, Nottingham, UK, April 18-21, 2006, Revised Selected
Papers},
booktitle = {TYPES},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4502},
year = {2007},
isbn = {978-3-540-74463-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@inproceedings{DBLP:conf/lpar/BonichonH06,
author = {Richard Bonichon and
Olivier Hermant},
title = {A Semantic Completeness Proof for TaMeD},
booktitle = {LPAR},
year = {2006},
pages = {167-181},
ee = {http://dx.doi.org/10.1007/11916277_12},
crossref = {DBLP:conf/lpar/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/lpar/2006,
editor = {Miki Hermann and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning,
13th International Conference, LPAR 2006, Phnom Penh, Cambodia,
November 13-17, 2006, Proceedings},
booktitle = {LPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4246},
year = {2006},
isbn = {3-540-48281-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@inproceedings{DBLP:conf/lpar/BonichonDD07,
author = {Richard Bonichon and
David Delahaye and
Damien Doligez},
title = {Zenon : An Extensible Automated Theorem Prover Producing
Checkable Proofs},
booktitle = {LPAR},
year = {2007},
pages = {151-165},
ee = {http://dx.doi.org/10.1007/978-3-540-75560-9_13},
crossref = {DBLP:conf/lpar/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/lpar/2007,
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning,
14th International Conference, LPAR 2007, Yerevan, Armenia,
October 15-19, 2007, Proceedings},
booktitle = {LPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4790},
year = {2007},
isbn = {978-3-540-75558-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@inproceedings{DBLP:conf/icfp/CuoqSBBCCMPP09,
author = {Pascal Cuoq and
Julien Signoles and
Patrick Baudin and
Richard Bonichon and
G{\'e}raud Canet and
Lo\"{\i}c Correnson and
Benjamin Monate and
Virgile Prevosto and
Armand Puccetti},
title = {Experience report: OCaml for an industrial-strength static
analysis framework},
booktitle = {ICFP},
year = {2009},
pages = {281-286},
ee = {http://doi.acm.org/10.1145/1596550.1596591},
crossref = {DBLP:conf/icfp/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/icfp/2009,
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Proceeding of the 14th ACM SIGPLAN international conference
on Functional programming, ICFP 2009, Edinburgh, Scotland,
UK, August 31 - September 2, 2009},
booktitle = {ICFP},
publisher = {ACM},
year = {2009},
isbn = {978-1-60558-332-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}This file was generated by bibtex2html 1.98.