- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango: Maximal and Compositional Pattern-Based Loop Invariants. FM 2012: 37-51 |
| c11 | | David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring: Towards Provably Robust Watermarking. ITP 2012: 201-216 |
| 2011 | ||
| c10 | | Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza: Structural Analysis of Narratives with the Coq Proof Assistant. ITP 2011: 55-70 |
| c9 | | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Automated Certified Proofs with CiME3. RTA 2011: 21-30 |
| 2010 | ||
| c8 | | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest: A3PAT, an approach for certified automated termination proofs. PEPM 2010: 63-72 |
| c7 | | |
| 2008 | ||
| c6 | | Pierre Courtieu, Julien Forest, Xavier Urbain: Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs 2008: 183-198 |
| 2007 | ||
| c5 | | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCoS 2007: 148-162 |
| 2005 | ||
| j1 | | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of Typed Low-Level Languages. J. Autom. Reasoning 35(4): 295-354 (2005) |
| 2002 | ||
| c4 | | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of the JavaCard Platform. AMAST 2002: 41-59 |
| c3 | | |
| c2 | | Gilles Barthe, Pierre Courtieu: Efficient Reasoning about Executable Specifications in Coq. TPHOLs 2002: 31-46 |
| 2001 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 19 06:37:39 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page