cousineau.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc cousineau.cite -ob cousineau.bib -c 'author : "Denis Cousineau"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{cousineau19fide,
author = {Denis Cousineau and
David Mentr{\'{e}} and
Hiroaki Inoue},
editor = {Rosemary Monahan and
Virgile Prevosto and
Jos{\'{e}} Proen{\c{c}}a},
title = {Automated Deductive Verification for {Ladder} Programming},
booktitle = {Fifth Workshop on Formal Integrated Development Environment,
F-IDE@FM 2019},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = 310,
pages = {7--12},
year = 2019,
doi = {10.4204/EPTCS.310.2}
}
@inproceedings{cousineau12fm,
author = {Denis Cousineau and
Damien Doligez and
Leslie Lamport and
Stephan Merz and
Daniel Ricketts and
Hern{\'a}n Vanzetto},
title = {{TLA+} Proofs},
pages = {147--154},
hal = {http://hal.inria.fr/hal-00726631},
x-equipes = {demons PROVAL ext},
topics = {team},
crossref = {fm2012}
}
@inproceedings{cousineau12rta,
author = {Denis Cousineau and Olivier Hermant},
title = {A Semantic Proof that Reducibility Candidates entail Cut
Elimination},
pages = {133--148},
doi = {10.4230/LIPIcs.RTA.2012.133},
hal = {http://hal.archives-ouvertes.fr/hal-00743284},
crossref = {rta12},
x-equipes = {demons PROVAL ext},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
x-type = {article},
x-support = {actes},
x-cle-support = {RTA},
type_publi = {icolcomlec},
type_digiteo = {conf_isbn},
topics = {team}
}
@proceedings{rta12,
title = {23rd International Conference on Rewriting Techniques and Applications},
booktitle = {23nd International Conference on Rewriting Techniques and Applications},
series = {Leibniz International Proceedings in Informatics},
year = {2012},
volume = {15},
editor = {Ashish Tiwari},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Nagoya, Japan},
isbn = {978-3-939897-38-5}
}
@proceedings{fm2012,
editor = {Dimitra Giannakopoulou and Dominique M{\'e}ry},
title = {FM 2012: Formal Methods - 18th International Symposium},
booktitle = {18th International Symposium on Formal Methods},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
x-type = {article},
x-support = {actes},
x-cle-support = {FM},
type_publi = {icolcomlec},
type_digiteo = {conf_isbn},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 7436,
year = 2012,
isbn = {978-3-642-32758-2},
ee = {http://dx.doi.org/10.1007/978-3-642-32759-9}
}