Pierre Courtieu

	2011
11		Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza: Structural Analysis of Narratives with the Coq Proof Assistant. ITP 2011: 55-70
10		Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Automated Certified Proofs with CiME3. RTA 2011: 21-30
	2010
9		Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest: A3PAT, an approach for certified automated termination proofs. PEPM 2010: 63-72
8		Pierre Courtieu, Gladys Gbedo, Olivier Pons: Improved Matrix Interpretation. SOFSEM 2010: 283-295
	2008
7		Pierre Courtieu, Julien Forest, Xavier Urbain: Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs 2008: 183-198
	2007
6		Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162
	2005
5		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		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		Pierre Courtieu: Proving Self-Stabilization with a Proof Assistant. IPDPS 2002
2		Gilles Barthe, Pierre Courtieu: Efficient Reasoning about Executable Specifications in Coq. TPHOLs 2002: 31-46
	2001
1		Pierre Courtieu: Normalized Types. CSL 2001: 554-569

Coauthor Index

1	Gilles Barthe	[2] [4] [5]
2	Anne-Gwenn Bosser	[11]
3	Marc Cavazza	[11]
4	Evelyne Contejean	[6] [9] [10]
5	Guillaume Dufay	[4] [5]
6	Julien Forest	[6] [7] [9] [10] [11]
7	Gladys Gbedo	[8]
8	Andrey Paskevich	[9]
9	Olivier Pons	[6] [8] [9] [10]
10	Simão Melo de Sousa	[4] [5]
11	Xavier Urbain	[6] [7] [9] [10]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page