David Monniaux
发表
Hang Yu,
David Monniaux,
2019,
SAS.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2003,
PLDI '03.
David Monniaux,
2003,
VMCAI.
David Monniaux,
2005,
CAV.
David Monniaux,
Alexey Bakhirkin,
2017,
SAS.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2002,
The Essence of Computation.
Jan Reineke,
David Monniaux,
Valentin Touzeau,
2017,
CAV.
Laure Gonnord,
David Monniaux,
Gabriel Radanne,
2015,
PLDI.
Pierre Corbineau,
David Monniaux,
D. Monniaux,
2011,
ITP.
David Monniaux,
2005,
Sci. Comput. Program..
David Monniaux,
2007,
SAS.
David Monniaux,
Thomas Gawlitza,
D. Monniaux,
2012,
Log. Methods Comput. Sci..
David Monniaux,
Cyril Six,
Sylvain Boulme,
2019
.
David Monniaux,
Francesco Alberti,
2015,
SAC.
Peter Schrammel,
David Monniaux,
D. Monniaux,
2014,
ArXiv.
David Monniaux,
Thomas Gawlitza,
D. Monniaux,
2011,
ESOP.
David Monniaux,
1999,
Proceedings of the 12th IEEE Computer Security Foundations Workshop.
David Monniaux,
D. Monniaux,
2000,
SAS.
David Monniaux,
2018,
Acta Informatica.
Laure Gonnord,
David Monniaux,
Julien Braine,
2016
.
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
Electron. Notes Theor. Comput. Sci..
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations
pdf
Camille Coti,
David Monniaux,
Hang Yu,
2020,
ArXiv.
David Monniaux,
D. Monniaux,
2009,
CAV.
David Monniaux,
Michaël Périn,
Alexandre Maréchal,
2017,
SAS.
David Monniaux,
D. Monniaux,
1999,
Sci. Comput. Program..
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2005,
ESOP.
David Monniaux,
D. Monniaux,
2007,
TOPL.
Laure Gonnord,
David Monniaux,
2011,
SAS.
David Monniaux,
David Monniaux,
2009
.
David Monniaux,
Martin Bodin,
2011,
APLAS.
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics
pdf
David Monniaux,
Mihail Asavoae,
Julien Henry,
2014,
LCTES '14.
David Monniaux,
D. Monniaux,
2010,
CAV.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2002
.
David Monniaux,
D. Monniaux,
2005,
APLAS.
Jacques-Henri Jourdan,
David Monniaux,
Thomas Braibant,
2013,
Journal of Automated Reasoning.
David Monniaux,
2008,
LPAR.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Camille Coti,
David Monniaux,
Hang Yu,
2019,
ICCS.
David Monniaux,
2009
.
David Monniaux,
D. Monniaux,
2001,
ESOP.
David Monniaux,
Alexey Bakhirkin,
D. Monniaux,
2018,
SAS.
David Monniaux,
2007,
ArXiv.
David Monniaux,
D. Monniaux,
2016,
CASC.
David Monniaux,
Philipp Wendler,
Egor George Karpenkov,
2016,
VMCAI.
Laure Gonnord,
David Monniaux,
2016,
SAS.
David Monniaux,
2010
.
David Monniaux,
Diego Caminha Barbosa De Oliveira,
D. Monniaux,
2013,
PAAR@IJCAR.
Laure Gonnord,
David Monniaux,
Gabriel Radanne,
2014
.
David Monniaux,
Julien Le Guen,
D. Monniaux,
2011,
NSAD@SAS.
Laure Gonnord,
David Monniaux,
2015,
ArXiv.
Peter Schrammel,
David Monniaux,
D. Monniaux,
2014,
SAS.
David Monniaux,
Egor George Karpenkov,
2016,
Haifa Verification Conference.
Nikolaj Bjørner,
David Monniaux,
Anh-Dung Phan,
2012,
SMT@IJCAR.
David Monniaux,
2001
.
David Monniaux,
Francesco Alberti,
2015,
SAS.
Jacques-Henri Jourdan,
David Monniaux,
Thomas Braibant,
2013,
ITP.
David Monniaux,
D. Monniaux,
2009,
Log. Methods Comput. Sci..
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2006,
ASIAN.
David Monniaux,
D. Monniaux,
2009,
High. Order Symb. Comput..
David Monniaux,
Valentin Touzeau,
Claire Maïza,
2017,
ArXiv.
David Monniaux,
Julien Le Guen,
2011
.
Ahmed Bouajjani,
David Monniaux,
D. Monniaux,
2017,
VNCAI.
David Monniaux,
Michaël Périn,
Alexis Fouilhé,
2013,
SAS.
David Monniaux,
2001,
POPL '01.
Jan Reineke,
David Monniaux,
Valentin Touzeau,
2018,
Proc. ACM Program. Lang..
David Monniaux,
Sylvain Boulmé,
Hang Yu,
2018,
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
ArXiv.
David Monniaux,
Michaël Périn,
Alexis Fouilhé,
2016,
VMCAI.
Patrick Cousot,
Xavier Rival,
David Monniaux,
2005
.
David Monniaux,
D. Monniaux,
2008,
POPL '09.
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
SAS.
Jan Reineke,
David Monniaux,
Valentin Touzeau,
2017,
Lecture Notes in Computer Science.
David Monniaux,
2003,
Sci. Comput. Program..
David Monniaux,
D. Monniaux,
2001
.
David Monniaux,
Valentin Touzeau,
Valentin Touzeau,
2018,
J. ACM.
Laure Gonnord,
David Monniaux,
Gabriel Radanne,
2015
.
David Monniaux,
2001,
SAS.
David Monniaux,
D. Monniaux,
2007,
EMSOFT '07.
David Monniaux,
Sylvain Boulmé,
Cyril Six,
2020,
Proc. ACM Program. Lang..
David Monniaux,
D. Monniaux,
2003,
Sci. Comput. Program..
Laure Gonnord,
David Monniaux,
Julien Braine,
2021,
SAS.
David Monniaux,
Sylvain Boulm'e,
2022
.
David Monniaux,
Sylvain Boulmé,
Cyril Six,
2022,
CPP.
David Monniaux,
Cyril Six,
2021,
LCTES.
Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities
David Monniaux,
D. Monniaux,
2009,
0901.4907.