@inproceedings{tatouage2012,
author = {David Baelde and
Pierre Courtieu and
David Gross-Amblard and
Christine Paulin},
title = {\textbf{Towards Provably Robust Watermarking}},
booktitle = {ITP},
year = {2012},
note = {To appear}
}
@inproceedings{DBLP:conf/itp/BosserCFC11,
author = {Anne-Gwenn Bosser and
Pierre Courtieu and
Julien Forest and
Marc Cavazza},
title = {\textbf{Structural Analysis of Narratives with the Coq Proof Assistant}},
booktitle = {ITP},
year = {2011},
pages = {55-70},
ee = {http://dx.doi.org/10.1007/978-3-642-22863-6_7},
crossref = {DBLP:conf/itp/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/rta/ContejeanCFPU11,
author = {Evelyne Contejean and
Pierre Courtieu and
Julien Forest and
Olivier Pons and
Xavier Urbain},
title = {\textbf{Automated Certified Proofs with CiME3}},
booktitle = {RTA},
year = {2011},
pages = {21-30},
ee = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.21},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {papers/contejean11rta.pdf}
}
@inproceedings{courtieu10pepm,
author = {Évelyne Contejean and Pierre Courtieu and Julien Forest,
Andrei Paskevich, Olivier Pons et Xavier Urbain},
title = {\textbf{A3PAT, an Approach for Certified Automated Termination Proofs}},
booktitle = {In PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symp.
on Partial Evaluation and Program Manipulation},
year = {2010},
pdf = {papers/pepm10-contejean.pdf}
}
@inproceedings{courtieu10sofsem,
author = {Pierre Courtieu and Gladys Gbedo and Olivier Pons},
title = {\textbf{Improved matrix interpretations}},
editor = {Jan van Leeuwen et al. },
booktitle = {In proc. SOFSEM2010, SOFSEM'10, International Conference on Current Trends in Theory and Practice of Computer Science, volume of LNCS},
year = {2010},
publisher = {Springer},
pdf = {papers/sofsem-courtieu-gbedo-pons.pdf}
}
@inproceedings{courtieu08tphols,
author = {Pierre Courtieu and Julien Forest and Xavier Urbain},
title = {\textbf{Certifying a {T}ermination {C}riterion {B}ased on {G}raphs, {W}ithout {G}raphs}},
year = {2008},
booktitle = {21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs'08)},
editor = {C\'esar Mu{\~n}oz and Otmane {Ait Mohamed}},
series = {Lecture Notes in Computer Science},
volume = {5170},
pages = {183-198},
address = {Montr\'eal, Canada},
month = aug,
publisher = {Springer-Verlag},
pdf = {papers/tphol08.pdf}
}
@inproceedings{contejean07frocos,
author = {{\'E}velyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
title = {\textbf{Certification of automated termination proofs}},
booktitle = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
year = 2007,
editor = {Boris Konev and Frank Wolter},
volume = 4720,
pages = {148--162},
series = {Lecture Notes in Artificial Intelligence},
address = {Liverpool,UK},
month = sep,
publisher = {Springer-Verlag},
pdf = {papers/frocos07.pdf}
}
@inproceedings{blanc+CFIP05,
author = {M. Blanc and P. Clemente and P. Courtieu and S. Franche and L. Oudot and C. Toinard and L. Vessiller},
title = {{\textbf{Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique}}},
booktitle = {CFIP 05},
year = {2005}
}
@inproceedings{blanc+distrmeta,
author = {Mathieu Blanc and Patrice Clemente and Pierre Courtieu
and Stephane Franche and Laurent Oudot and Christian
Toinard and Lionel
Vessiller},
title = {\textbf{Hardening large-scale networks security through a meta-policy framework}},
booktitle = {Third Workshop on the Internet, Telecommunications and
Signal Processing {(WITSP.04)}},
year = {2004},
month = {dec},
address = {Adelaide, Australia},
pdf = {papers/WITSP04.pdf}
}
@inproceedings{blanc+04macmeta,
author = {Mathieu Blanc and Pierre Courtieu and Gaetan Hains and
Laurent Oudot and Christian Toinard},
title = {{\textbf{A novel approach for distributed updates of {MAC} policies using a meta-protection framework}}},
booktitle = {Supplementary Proceedings of the 15th IEEE
International Symposium on Software Reliability Engineering {(ISSRE
2004)}},
year = {2004},
month = {nov},
address = {Saint Malo, France},
pdf = {papers/bcht-ISSRE04.pdf}
}
@article{g+05jak:jar,
author = {G. Barthe and P. Courtieu and G. Dufay and S. Melo de Sousa},
title = {\textbf{Jakarta: tool-assisted specification and verification of the JavaCard Platform}},
month = {October},
volume = {Volume 35, Numbers 1-3},
year = {2005},
pages = {295-354},
journal = {{Journal of Automated Reasoning}},
pdf = {papers/jarck13-v2.pdf}
}
@inproceedings{gp02:tphols,
author = {G. Barthe and P. Courtieu},
title = {{\textbf{Efficient Reasoning about Executable Specifications in Coq}}},
booktitle = {Proceedings of TPHOLs'02},
editor = {V. A Carreno, C. Mu\~noz and S. Tahar},
series = {Lecture Notes in Computer Science},
pages = {{31--46}},
year = {2002},
publisher = {springer},
volume = {2410},
pdf = {papers/barthe-courtieu-tphol2002.pdf}
}
@inproceedings{ggsp02:amast,
author = {G. Barthe and G.~Dufay and Simao de~Sousa and P. Courtieu},
title = {{\textbf{Tool-Assisted Specification and Verification of the JavaCard Platform}}},
booktitle = {Proceedings of AMAST'02},
series = {Lecture Notes in Computer Science},
year = {2002},
pages = {41--59},
publisher = {Springer-Verlag},
volume = {2422},
ps = {papers/bcds-amast02.ps.gz}
}
@inproceedings{courtieulcs01,
author = {Pierre Courtieu},
title = {\textbf{Normalized types}},
booktitle = {Proceedings of CSL2001},
series = {Lecture Notes in Computer Science},
year = 2001,
volume = 2142,
ps = {papers/courtieucsl2001.ps.gz}
}
@inproceedings{courtieufmppta02,
author = {Pierre Courtieu},
title = {\textbf{Proving self-stabilization with a proof assistant}},
booktitle = {Proceedings of IPDPS'2002},
series = {IEEE CS Press},
year = {2002},
note = {contained in IPDPS collected proceedings CD-ROM, Abstract
appears in IPDPS'02 Proc. : Abstracts, p.0209 },
ps = {papers/selfstab-in-coq.ps.gz}
}
@phdthesis{courtieuphd01,
author = {Pierre Courtieu},
title = {{\textbf{Repr{\'e}sentation de structures non libres en th{\'e}orie des types}}},
address = {{Laboratoire de Recherche en informatique}},
year = {2001},
type = {Th{\`e}se de doctorat},
month = {d{\'e}cembre},
type_publi = {these},
topics = {team, lri},
school = {{Universit{\'e} Paris-sud}},
ps = {papers/courtieu-phd.ps.gz},
pdf = {papers/courtieu-phd.pdf},
note = {In french}
}
@proceedings{DBLP:conf/itp/2011,
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Interactive Theorem Proving - Second International Conference,
ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011.
Proceedings},
booktitle = {ITP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6898},
year = {2011},
isbn = {978-3-642-22862-9},
ee = {http://dx.doi.org/10.1007/978-3-642-22863-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.97.