The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Monniaux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Monniaux
    The Parallel Implementation of the Astrée Static Analyzer. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:86-96 [Conf]
  2. 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]
  3. David Monniaux
    Compositional Analysis of Floating-Point Linear Numerical Filters. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:199-212 [Conf]
  4. 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]
  5. 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]
  6. David Monniaux
    Backwards Abstract Interpretation of Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:367-382 [Conf]
  7. 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]
  8. David Monniaux
    An abstract Monte-Carlo method for the analysis of probabilistic programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:93-101 [Conf]
  9. David Monniaux
    Abstract Interpretation of Probabilistic Semantics. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:322-339 [Conf]
  10. David Monniaux
    An Abstract Analysis of the Probabilistic Termination of Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:111-126 [Conf]
  11. David Monniaux
    Abstract Interpretation of Programs as Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:237-254 [Conf]
  12. David Monniaux
    Abstracting Cryptographic Protocols with Tree Automata. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:149-163 [Conf]
  13. David Monniaux
    Abstraction of Expectation Functions Using Gaussian Distributions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:161-173 [Conf]
  14. 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]
  15. 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]
  16. David Monniaux
    Optimal Abstraction on Real-Valued Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:104-120 [Conf]
  17. 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]
  18. David Monniaux
    The parallel implementation of the Astrée static analyzer [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  19. David Monniaux
    The pitfalls of verifying floating-point computations [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  20. 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]
  21. 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]
  22. 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]

  23. Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]


  24. On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure. [Citation Graph (, )][DBLP]


  25. Quantifier Elimination by Lazy Model Enumeration. [Citation Graph (, )][DBLP]


  26. Verification of device drivers and intelligent controllers: a case study. [Citation Graph (, )][DBLP]


  27. A Quantifier Elimination Algorithm for Linear Real Arithmetic. [Citation Graph (, )][DBLP]


  28. Automatic modular abstractions for linear constraints. [Citation Graph (, )][DBLP]


  29. A Quantifier Elimination Algorithm for Linear Real Arithmetic [Citation Graph (, )][DBLP]


  30. Automatic Modular Abstractions for Linear Constraints [Citation Graph (, )][DBLP]


  31. A minimalistic look at widening operators [Citation Graph (, )][DBLP]


  32. On using floating-point computations to help an exact linear arithmetic decision procedure [Citation Graph (, )][DBLP]


  33. Automatic modular abstractions for template numerical constraints [Citation Graph (, )][DBLP]


  34. Automatic Modular Abstractions for Template Numerical Constraints [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002