David Pichardie

	2009
16		Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
15		Frédéric Dabrowski, David Pichardie: A Certified Data Race Analysis for a Java-like Language. TPHOLs 2009: 212-227
	2008
14		Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
13		Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese: Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136
12		David Pichardie: Building Certified Static Analysers by Modular Construction of Well-founded Lattices. Electr. Notes Theor. Comput. Sci. 212: 225-239 (2008)
	2007
11		Gilles Barthe, David Pichardie, Tamara Rezk: A Certified Lightweight Non-interference Java Bytecode Verifier. ESOP 2007: 125-140
10		Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
	2006
9		Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS 2006: 114-129
8		Frédéric Besson, Thomas P. Jensen, David Pichardie: Proof-carrying code from certified abstract interpretation and fixpoint compression. Theor. Comput. Sci. 364(3): 273-291 (2006)
	2005
7		David Pichardie: Modular Proof Principles for Parameterised Concretizations. CASSIS 2005: 138-154
6		David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
5		David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005)
	2004
4		David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
	2003
3		David Cachera, David Pichardie: Embedding of Systems of Affine Recurrence Equations in Coq. TPHOLs 2003: 155-170
2		Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie: A Java Card CAP converter in PVS. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
	2001
1		David Pichardie, Yves Bertot: Formalizing Convex Hull Algorithms. TPHOLs 2001: 346-361

Coauthor Index

1	Gilles Barthe	[9] [10] [11] [13]
2	Yves Bertot	[1]
3	Frédéric Besson	[8] [16]
4	David Cachera	[3] [4] [5] [6] [16]
5	Pierre Crégut	[10]
6	Frédéric Dabrowski	[15]
7	Julien Forest	[9]
8	Thomas Genet	[2]
9	Benjamin Grégoire	[10]
10	Laurent Hubert	[14]
11	Thomas P. Jensen	[2] [4] [5] [6] [8] [10] [14] [16]
12	Vikash Kodati	[2]
13	César Kunz	[13]
14	Tamara Rezk	[11]
15	Vlad Rusu	[4] [5] [9]
16	Julián Samborski-Forlese	[13]
17	Gerardo Schneider	[6]

Colors in the list of coauthors