David Pichardie

2008
14	EE	Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
13	EE	Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese: Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136
12	EE	David Pichardie: Building Certified Static Analysers by Modular Construction of Well-founded Lattices. Electr. Notes Theor. Comput. Sci. 212: 225-239 (2008)
2007
11	EE	Gilles Barthe, David Pichardie, Tamara Rezk: A Certified Lightweight Non-interference Java Bytecode Verifier. ESOP 2007: 125-140
10	EE	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	EE	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	EE	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	EE	David Pichardie: Modular Proof Principles for Parameterised Concretizations. CASSIS 2005: 138-154
6	EE	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
5	EE	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	EE	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
2003
3	EE	David Cachera, David Pichardie: Embedding of Systems of Affine Recurrence Equations in Coq. TPHOLs 2003: 155-170
2	EE	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	EE	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]
4	David Cachera	[3] [4] [5] [6]
5	Pierre Crégut	[10]
6	Julien Forest	[9]
7	Thomas Genet	[2]
8	Benjamin Grégoire	[10]
9	Laurent Hubert	[14]
10	Thomas P. Jensen	[2] [4] [5] [6] [8] [10] [14]
11	Vikash Kodati	[2]
12	César Kunz	[13]
13	Tamara Rezk	[11]
14	Vlad Rusu	[4] [5] [9]
15	Julián Samborski-Forlese	[13]
16	Gerardo Schneider	[6]