David Pichardie
发表
David Cachera,
David Pichardie,
Vlad Rusu,
2004,
ESOP.
David Pichardie,
Frédéric Besson,
Pierre-Emmanuel Cornilleau,
2011
.
Yves Bertot,
David Pichardie,
2015
.
D. Cachera,
David Pichardie,
2003
.
David Pichardie,
François Dupressoir,
2008
.
T. Jensen,
T. Genet,
David Pichardie,
2004,
Electron. Notes Theor. Comput. Sci..
Pierre Courtieu,
Xavier Leroy,
Jacques-Henri Jourdan,
2011
.
Benjamin Grégoire,
Gilles Barthe,
David Pichardie,
2006
.
David Pichardie,
Nataliia Bielova,
Delphine Demange,
2013
.
S. Jagannathan,
J. Vitek,
David Pichardie,
2014,
PLDI 2014.
Xavier Leroy,
Jacques-Henri Jourdan,
David Pichardie,
2015,
POPL.
David Cachera,
David Pichardie,
D. Cachera,
2010,
ITP.
David Cachera,
David Pichardie,
Thomas P. Jensen,
2009,
FOSAD.
David Pichardie,
Delphine Demange,
Thomas P. Jensen,
2010,
FoVeOOS.
Gabriel Synnaeve,
Baptiste Rozière,
David Pichardie,
2023,
ArXiv.
David Pichardie,
Sandrine Blazy,
Olivier Flückiger,
2020,
Proc. ACM Program. Lang..
David Pichardie,
César Kunz,
Gilles Barthe,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
David Pichardie,
Sandrine Blazy,
Alix Trieu,
2019,
ESORICS.
Gilles Barthe,
David Pichardie,
Gustavo Betarte,
2014,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
David Pichardie,
Delphine Demange,
2014,
TOPL.
David Pichardie,
David Pichardie,
2012
.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2015,
CPP.
David Pichardie,
Thomas P. Jensen,
Guillaume Dufay,
2010,
J. Comput. Secur..
David Cachera,
David Pichardie,
Delphine Demange,
2018,
SAC.
David Cachera,
David Pichardie,
Delphine Demange,
2017
.
David Cachera,
David Pichardie,
Delphine Demange,
2017
.
David Pichardie,
Frédéric Dabrowski,
David Pichardie,
2009,
TPHOLs.
Gilles Barthe,
David Pichardie,
Tamara Rezk,
2007,
Mathematical Structures in Computer Science.
Gilles Barthe,
David Pichardie,
Vlad Rusu,
2006,
FLOPS.
David Pichardie,
Yves Bertot,
Yves Bertot,
2001,
TPHOLs.
Benjamin Grégoire,
David Pichardie,
Sandrine Blazy,
2019
.
David Pichardie,
Delphine Demange,
Yon Fernández de Retana,
2018,
CC.
Jan Vitek,
Suresh Jagannathan,
David Cachera,
2017,
Journal of Automated Reasoning.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2014,
Journal of Automated Reasoning.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2019
.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Sandrine Blazy,
David Pichardie,
Jean-Christophe Léchenet,
2020,
IJCAR.
Solène Mirliaz,
David Pichardie,
David Pichardie,
2019
.
Benjamin C. Pierce,
Catalin Hritcu,
David Pichardie,
2014,
J. Comput. Secur..
G. Barthe,
B. Grégoire,
Sandrine Blazy,
2019,
IACR Cryptol. ePrint Arch..
David Pichardie,
Frédéric Besson,
Pierre-Emmanuel Cornilleau,
2011,
CPP.
David Pichardie,
Thomas Jensen,
Frédéric Besson,
2007
.
David Pichardie,
Delphine Demange,
Sandrine Blazy,
2015,
ITP.
Gilles Barthe,
David Pichardie,
Gustavo Betarte,
2020,
Journal of Automated Reasoning.
X. Leroy,
Sandrine Blazy,
David Pichardie,
2015,
POPL.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2013,
SAS.
Sandrine Blazy,
David Pichardie,
A. Maroneze,
2013,
VSTTE.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2014,
WCET.
Gilles Barthe,
David Pichardie,
Delphine Demange,
2012,
ESOP.
Benjamin Grégoire,
Gilles Barthe,
David Pichardie,
2008,
FMCO.
Jan Vitek,
Suresh Jagannathan,
David Pichardie,
2014,
ACM Trans. Program. Lang. Syst..
David Pichardie,
Sandrine Blazy,
Christine Paulin-Mohring,
2013,
Lecture Notes in Computer Science.
T. Jensen,
T. Genet,
David Pichardie,
2004,
COCV@ETAPS.
G. Barthe,
David Pichardie,
C. Luna,
2014,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
G. Barthe,
P. Schwabe,
David Pichardie,
2022,
SAS.