Search the dblp DataBase
David Monniaux :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Monniaux The Parallel Implementation of the Astrée Static Analyzer. [Citation Graph (0, 0)][DBLP ] APLAS, 2005, pp:86-96 [Conf ] Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP ] The Essence of Computation, 2002, pp:85-108 [Conf ] David Monniaux Compositional Analysis of Floating-Point Linear Numerical Filters. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:199-212 [Conf ] David Monniaux Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. [Citation Graph (0, 0)][DBLP ] CSFW, 1999, pp:44-54 [Conf ] Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP ] ESOP, 2005, pp:21-30 [Conf ] David Monniaux Backwards Abstract Interpretation of Probabilistic Programs. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:367-382 [Conf ] Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival A static analyzer for large safety-critical software. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:196-207 [Conf ] David Monniaux An abstract Monte-Carlo method for the analysis of probabilistic programs. [Citation Graph (0, 0)][DBLP ] POPL, 2001, pp:93-101 [Conf ] David Monniaux Abstract Interpretation of Probabilistic Semantics. [Citation Graph (0, 0)][DBLP ] SAS, 2000, pp:322-339 [Conf ] David Monniaux An Abstract Analysis of the Probabilistic Termination of Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:111-126 [Conf ] David Monniaux Abstract Interpretation of Programs as Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] SAS, 2003, pp:237-254 [Conf ] David Monniaux Abstracting Cryptographic Protocols with Tree Automata. [Citation Graph (0, 0)][DBLP ] SAS, 1999, pp:149-163 [Conf ] David Monniaux Abstraction of Expectation Functions Using Gaussian Distributions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:161-173 [Conf ] David Monniaux Abstracting cryptographic protocols with tree automata. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:47, n:2-3, pp:177-202 [Journal ] David Monniaux Abstract interpretation of programs as Markov decision processes. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:58, n:1-2, pp:179-205 [Journal ] David Monniaux Optimal Abstraction on Real-Valued Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2007, pp:104-120 [Conf ] Patrick Cousot , Radhia Cousot , Jérôme Feret , Antoine Miné , Laurent Mauborgne , David Monniaux , Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP ] TASE, 2007, pp:3-20 [Conf ] David Monniaux The parallel implementation of the Astrée static analyzer [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] David Monniaux The pitfalls of verifying floating-point computations [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival A Static Analyzer for Large Safety-Critical Software [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] David Monniaux An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] David Monniaux Applying the Z-transform for the static analysis of floating-point numerical filters [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP ] On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure. [Citation Graph (, )][DBLP ] Quantifier Elimination by Lazy Model Enumeration. [Citation Graph (, )][DBLP ] Verification of device drivers and intelligent controllers: a case study. [Citation Graph (, )][DBLP ] A Quantifier Elimination Algorithm for Linear Real Arithmetic. [Citation Graph (, )][DBLP ] Automatic modular abstractions for linear constraints. [Citation Graph (, )][DBLP ] A Quantifier Elimination Algorithm for Linear Real Arithmetic [Citation Graph (, )][DBLP ] Automatic Modular Abstractions for Linear Constraints [Citation Graph (, )][DBLP ] A minimalistic look at widening operators [Citation Graph (, )][DBLP ] On using floating-point computations to help an exact linear arithmetic decision procedure [Citation Graph (, )][DBLP ] Automatic modular abstractions for template numerical constraints [Citation Graph (, )][DBLP ] Automatic Modular Abstractions for Template Numerical Constraints [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs