×

zbMATH — the first resource for mathematics

Monniaux, David P.

Compute Distance To:
Author ID: monniaux.david-p Recent zbMATH articles by "Monniaux, David P."
Published as: Monniaux, David; Monniaux, David P.
Documents Indexed: 35 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 167 times in 138 Documents Cited by Year
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514
Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
52
2002
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
24
2005
A quantifier elimination algorithm for linear real arithmetic. Zbl 1182.68213
Monniaux, David
11
2008
On the generation of Positivstellensatz witnesses in degenerate cases. Zbl 1342.68296
Monniaux, David; Corbineau, Pierre
10
2011
Automatic modular abstractions for linear constraints. Zbl 1315.68102
Monniaux, David P.
9
2009
Abstracting cryptographic protocols with tree automata. Zbl 0949.68065
Monniaux, David
8
1999
Abstract interpretation of programs as Markov decision processes. Zbl 1088.68039
Monniaux, David
7
2005
Automatic modular abstractions for template numerical constraints. Zbl 1191.68182
Monniaux, David
6
2010
Abstract interpretation of probabilistic semantics. Zbl 0966.68111
Monniaux, David
5
2000
Polyhedral approximation of multivariate polynomials using handelman’s theorem. Zbl 06559857
Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael
4
2016
Compositional analysis of floating-point linear numerical filters. Zbl 1081.93028
Monniaux, David
4
2005
Abstracting cryptographic protocols with tree automata. Zbl 1047.68066
Monniaux, David
4
2003
An abstract analysis of the probabilistic termination of programs. Zbl 0997.68515
Monniaux, David
4
2001
Invariant generation through strategy iteration in succinctly represented control flow graphs. Zbl 1248.68142
Gawlitza, Thomas Martin; Monniaux, David
3
2012
Improving strategies via SMT solving. Zbl 1326.68093
Gawlitza, Thomas Martin; Monniaux, David
2
2011
A minimalistic look at widening operators. Zbl 1183.68200
Monniaux, David
2
2010
The parallel implementation of the astrée static analyzer. Zbl 1159.68378
Monniaux, David
2
2005
An abstract Monte-Carlo method for the analysis of probabilistic programs. Zbl 1323.68219
Monniaux, David
2
2001
Combining forward and backward abstract interpretation of Horn clauses. Zbl 1420.68062
Bakhirkin, Alexey; Monniaux, David
1
2017
A survey of satisfiability modulo theory. Zbl 1453.68116
Monniaux, David
1
2016
Program analysis with local policy iteration. Zbl 06559855
Karpenkov, Egor George; Monniaux, David; Wendler, Philipp
1
2016
Stratified static analysis based on variable dependencies. Zbl 1294.68063
Monniaux, David; Le Guen, Julien
1
2012
On using floating-point computations to help an exact linear arithmetic decision procedure. Zbl 1242.68168
Monniaux, David
1
2009
Optimal abstraction on real-valued programs. Zbl 1211.68098
Monniaux, David
1
2007
Abstract interpretation of programs as Markov decision processes. Zbl 1067.68050
Monniaux, David
1
2003
Backwards abstract interpretation of probabilistic programs. Zbl 0977.68550
Monniaux, David
1
2001
Combining forward and backward abstract interpretation of Horn clauses. Zbl 1420.68062
Bakhirkin, Alexey; Monniaux, David
1
2017
Polyhedral approximation of multivariate polynomials using handelman’s theorem. Zbl 06559857
Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael
4
2016
A survey of satisfiability modulo theory. Zbl 1453.68116
Monniaux, David
1
2016
Program analysis with local policy iteration. Zbl 06559855
Karpenkov, Egor George; Monniaux, David; Wendler, Philipp
1
2016
Invariant generation through strategy iteration in succinctly represented control flow graphs. Zbl 1248.68142
Gawlitza, Thomas Martin; Monniaux, David
3
2012
Stratified static analysis based on variable dependencies. Zbl 1294.68063
Monniaux, David; Le Guen, Julien
1
2012
On the generation of Positivstellensatz witnesses in degenerate cases. Zbl 1342.68296
Monniaux, David; Corbineau, Pierre
10
2011
Improving strategies via SMT solving. Zbl 1326.68093
Gawlitza, Thomas Martin; Monniaux, David
2
2011
Automatic modular abstractions for template numerical constraints. Zbl 1191.68182
Monniaux, David
6
2010
A minimalistic look at widening operators. Zbl 1183.68200
Monniaux, David
2
2010
Automatic modular abstractions for linear constraints. Zbl 1315.68102
Monniaux, David P.
9
2009
On using floating-point computations to help an exact linear arithmetic decision procedure. Zbl 1242.68168
Monniaux, David
1
2009
A quantifier elimination algorithm for linear real arithmetic. Zbl 1182.68213
Monniaux, David
11
2008
Optimal abstraction on real-valued programs. Zbl 1211.68098
Monniaux, David
1
2007
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
24
2005
Abstract interpretation of programs as Markov decision processes. Zbl 1088.68039
Monniaux, David
7
2005
Compositional analysis of floating-point linear numerical filters. Zbl 1081.93028
Monniaux, David
4
2005
The parallel implementation of the astrée static analyzer. Zbl 1159.68378
Monniaux, David
2
2005
Abstracting cryptographic protocols with tree automata. Zbl 1047.68066
Monniaux, David
4
2003
Abstract interpretation of programs as Markov decision processes. Zbl 1067.68050
Monniaux, David
1
2003
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514
Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
52
2002
An abstract analysis of the probabilistic termination of programs. Zbl 0997.68515
Monniaux, David
4
2001
An abstract Monte-Carlo method for the analysis of probabilistic programs. Zbl 1323.68219
Monniaux, David
2
2001
Backwards abstract interpretation of probabilistic programs. Zbl 0977.68550
Monniaux, David
1
2001
Abstract interpretation of probabilistic semantics. Zbl 0966.68111
Monniaux, David
5
2000
Abstracting cryptographic protocols with tree automata. Zbl 0949.68065
Monniaux, David
8
1999
all top 5

Cited by 294 Authors

6 Miné, Antoine
6 Monniaux, David P.
5 King, Andy
4 Boldo, Sylvie
3 Bouissou, Olivier
3 Brauer, Jörg
3 Cimatti, Alessandro
3 Gawlitza, Thomas Martin
3 Goubault, Eric
3 Logozzo, Francesco
3 Marché, Claude
3 Melquiond, Guillaume
3 Muñoz, César A.
3 Oh, Hakjoo
3 Pichardie, David
3 Roveri, Marco
3 Rümmer, Philipp
3 Sankaranarayanan, Sriram
2 Allamigeon, Xavier
2 Bagnara, Roberto
2 Barbuti, Roberto
2 Besson, Frédéric
2 Blanchet, Bruno
2 Chapoutot, Alexandre
2 Cortesi, Agostino
2 Cousot, Patrick
2 Cousot, Radhia
2 Dutle, Aaron
2 Fähndrich, Manuel
2 Ferrara, Pietro
2 Fulara, Jędrzej
2 Gaubert, Stéphane
2 Goubault-Larrecq, Jean
2 Griggio, Alberto
2 Halbwachs, Nicolas
2 Heo, Kihong
2 Hill, Patricia M.
2 Jakubczyk, Krzysztof
2 Jensen, Thomas Sejr
2 Jourdan, Jacques-Henri
2 Kowalewski, Stefan
2 Kröning, Daniel
2 Levi, Francesca
2 Liberti, Leo
2 Majumdar, Rupak
2 Marinelli, Fabrizio
2 Mauborgne, Laurent
2 Micheli, Andrea
2 Milazzo, Paolo
2 Narkawicz, Anthony Joseph
2 Putot, Sylvie
2 Reps, Thomas W.
2 Rival, Xavier
2 Roux, Pierre
2 Rybalchenko, Andrey
2 Scatena, Guido
2 Seladji, Yassamine
2 Siegel, Stephen F.
2 Smith, Michael J. A.
2 Verma, Kumar Neeraj
2 Yang, Hongseok
2 Zaffanella, Enea
2 Zirkel, Timothy K.
1 Abadi, Martín
1 Ábrahám, Erika
1 Alberti, Francesco
1 Amadio, Roberto M.
1 Amato, Gianluca
1 Anderson, Gregory W.
1 Apinis, Kalmer
1 Ayyildiz Akoglu, Tulay
1 Aziz, Benjamin
1 Barré, Nicolas
1 Becker, Stephen R.
1 Beckschulze, Eva
1 Ben Sassi, Mohamed Amin
1 Bernot, Gilles
1 Bertolotti, Ivan Cibrario
1 Bertot, Yves
1 Beyer, Dirk
1 Bobot, François
1 Boichut, Yohan
1 Boutonnet, Rémy
1 Braibant, Thomas
1 Brain, Martin
1 Brillout, Angelo
1 Bruttomesso, Roberto
1 Bubel, Richard
1 Cadilhac, Michaël
1 Candeago, Lorenzo
1 Caruso, Xavier
1 Cha, Sooyoung
1 Chadha, Rohit
1 Chakraborty, Supratik
1 Chandrasekaran, Ramaswamy
1 Charatonik, Witold
1 Chawdhary, Aziem
1 Chen, Li
1 Chen, Liqian
1 Cheng, Jinsan
...and 194 more Authors

Citations by Year