| 2008 |
|---|
| 7 | EE | Pierre Courtieu,
Julien Forest,
Xavier Urbain:
Certifying a Termination Criterion Based on Graphs, without Graphs.
TPHOLs 2008: 183-198 |
| 2007 |
|---|
| 6 | EE | Evelyne Contejean,
Pierre Courtieu,
Julien Forest,
Olivier Pons,
Xavier Urbain:
Certification of Automated Termination Proofs.
FroCos 2007: 148-162 |
| 2005 |
|---|
| 5 | EE | 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 |
|---|
| 4 | EE | Gilles Barthe,
Pierre Courtieu,
Guillaume Dufay,
Simão Melo de Sousa:
Tool-Assisted Specification and Verification of the JavaCard Platform.
AMAST 2002: 41-59 |
| 3 | EE | Pierre Courtieu:
Proving Self-Stabilization with a Proof Assistant.
IPDPS 2002 |
| 2 | EE | Gilles Barthe,
Pierre Courtieu:
Efficient Reasoning about Executable Specifications in Coq.
TPHOLs 2002: 31-46 |
| 2001 |
|---|
| 1 | EE | Pierre Courtieu:
Normalized Types.
CSL 2001: 554-569 |
