Sandrine Blazy
发表
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2013,
SAS.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2015,
CPP.
Sandrine Blazy,
Benoit Robillard,
Sandrine Blazy,
2009,
LCTES 2009.
Andy King,
Sandrine Blazy,
Jael Kriener,
2013,
PPDP.
Xavier Leroy,
Jacques-Henri Jourdan,
Sandrine Blazy,
2014
.
Sandrine Blazy,
Rémi Hutin,
Sandrine Blazy,
2019,
CPP.
Xavier Leroy,
Sandrine Blazy,
Gordon Stewart,
2012
.
Pierre Courtieu,
Xavier Leroy,
Jacques-Henri Jourdan,
2011
.
Andrew W. Appel,
Sandrine Blazy,
2007
.
Sandrine Blazy,
2015,
PLMW '15.
Sandrine Blazy,
Philippe Facon,
1993,
[1993] IEEE Second Workshop on Program Comprehension.
Xavier Leroy,
Sandrine Blazy,
2005,
ICFEM.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2015,
ITP.
Sandrine Blazy,
Philippe Facon,
1992
.
Sandrine Blazy,
Sandrine Blazy,
2000,
Automated Software Engineering.
Régine Laleau,
Frédéric Gervais,
Sandrine Blazy,
2003
.
David Pichardie,
Sandrine Blazy,
Christine Paulin-Mohring,
2013
.
Sandrine Blazy,
2007,
Tech. Sci. Informatiques.
Sandrine Blazy,
Stéphanie Riaud,
Sandrine Blazy,
2014,
CODASPY '14.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2014,
Journal of Automated Reasoning.
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2017,
VMCAI.
David Pichardie,
Sandrine Blazy,
Christine Paulin-Mohring,
2013,
Lecture Notes in Computer Science.
Sandrine Blazy,
Philippe Facon,
1996,
WPC '96. 4th Workshop on Program Comprehension.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2019,
Journal of Automated Reasoning.
Marc Pantel,
Jean Souyris,
Sandrine Blazy,
2012
.
Sandrine Blazy,
2007
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Sandrine Blazy,
Philippe Facon,
1994,
Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94.
Xavier Leroy,
Zaynah Dargaye,
Sandrine Blazy,
2006,
FM.
Andrew W. Appel,
Arthur Charguéraud,
Hervé Grall,
2007
.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2016,
ICFP.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2018,
Journal of Automated Reasoning.
Xavier Leroy,
Sandrine Blazy,
X. Leroy,
2009,
Journal of Automated Reasoning.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2013,
VSTTE.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Sandrine Blazy,
Philippe Facon,
1995,
TAPSOFT.
Roberto Giacobazzi,
Sandrine Blazy,
R. Giacobazzi,
2012
.
Sandrine Blazy,
Philippe Facon,
1998,
CSUR.
Zaynah Dargaye,
Tahina Ramananandro,
Jean-Baptiste Tristan,
2007
.
David Pichardie,
Sandrine Blazy,
Alix Trieu,
2019,
ESORICS.
Marsha Chechik,
Sandrine Blazy,
2017,
Journal of Automated Reasoning.
Thomas Jensen,
Sandrine Blazy,
2015,
Lecture Notes in Computer Science.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Xavier Leroy,
Jacques-Henri Jourdan,
David Pichardie,
2015,
POPL.
Sandrine Blazy,
2008
.
Andrew W. Appel,
Sandrine Blazy,
A. Appel,
2007,
TPHOLs.
Andrew W. Appel,
Aquinas Hobor,
Robert Dockins,
2014
.
Sandrine Blazy,
Benoît Robillard,
Sandrine Blazy,
2009,
LCTES '09.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2017,
ITP.
Marsha Chechik,
Sandrine Blazy,
Sandrine Blazy,
2016,
Lecture Notes in Computer Science.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Sandrine Blazy,
Thomas P. Jensen,
Frédéric Besson,
2019,
ESOP.
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1996,
Dagstuhl Seminar on Partial Evaluation.
Sandrine Blazy,
Sandrine Blazy,
2000,
Tech. Sci. Informatiques.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2016
.
Sandrine Blazy,
Thomas Sirvent,
Stéphanie Riaud,
2015,
2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM).
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1993,
CAiSE.
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2018
.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2014,
ITP.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2014,
APLAS.
Sandrine Blazy,
M. Haziza,
J. F. Voidrot,
1992,
Proceedings Conference on Software Maintenance 1992.
David Pichardie,
Sandrine Blazy,
Olivier Flückiger,
2020,
Proc. ACM Program. Lang..
Sandrine Blazy,
2008
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Sandrine Blazy,
Benoît Robillard,
2010,
ESOP.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2017
.
Régine Laleau,
Frédéric Gervais,
Sandrine Blazy,
2003,
ZB.
Xavier Leroy,
Sandrine Blazy,
X. Leroy,
2008,
Journal of Automated Reasoning.
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1994,
Int. J. Softw. Eng. Knowl. Eng..
David Pichardie,
Sandrine Blazy,
Alix Trieu,
2019,
J. Comput. Secur..
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2016,
Sci. Comput. Program..
Sandrine Blazy,
Alix Trieu,
Sandrine Blazy,
2016,
CPP.
David Pichardie,
Delphine Demange,
Sandrine Blazy,
2015,
ITP.
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2014,
FMICS.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2014,
WCET.
Sandrine Blazy,
Philippe Facon,
1997,
Proceedings 12th IEEE International Conference Automated Software Engineering.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
David Pichardie,
Sandrine Blazy,
Aurèle Barrière,
2019
.
Sandrine Blazy,
Régine Laleau,
Frédéric Gervais,
2002
.
Sandrine Blazy,
Eric Soutif,
Benoit Robillard,
2008
.