The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Courtieu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Pierre Courtieu
    Normalized Types. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:554-569 [Conf]
  3. Pierre Courtieu
    Proving Self-Stabilization with a Proof Assistant. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  4. Gilles Barthe, Pierre Courtieu
    Efficient Reasoning about Executable Specifications in Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:31-46 [Conf]
  5. 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]
  6. 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]

  7. A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]


  8. Improved Matrix Interpretation. [Citation Graph (, )][DBLP]


  9. Certifying a Termination Criterion Based on Graphs, without Graphs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002