|
Search the dblp DataBase
Pierre Courtieu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
Tool-Assisted Specification and Verification of the JavaCard Platform. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:41-59 [Conf]
- Pierre Courtieu
Normalized Types. [Citation Graph (0, 0)][DBLP] CSL, 2001, pp:554-569 [Conf]
- Pierre Courtieu
Proving Self-Stabilization with a Proof Assistant. [Citation Graph (0, 0)][DBLP] IPDPS, 2002, pp:- [Conf]
- Gilles Barthe, Pierre Courtieu
Efficient Reasoning about Executable Specifications in Coq. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:31-46 [Conf]
- Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
Tool-Assisted Specification and Verification of Typed Low-Level Languages. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:35, n:4, pp:295-354 [Journal]
- Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Certification of Automated Termination Proofs. [Citation Graph (0, 0)][DBLP] FroCos, 2007, pp:148-162 [Conf]
A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]
Improved Matrix Interpretation. [Citation Graph (, )][DBLP]
Certifying a Termination Criterion Based on Graphs, without Graphs. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|