| 2009 |
|---|
| 31 | EE | David Monniaux:
Automatic modular abstractions for linear constraints.
POPL 2009: 140-151 |
| 30 | EE | David Monniaux:
A minimalistic look at widening operators
CoRR abs/0902.3722: (2009) |
| 29 | EE | David Monniaux:
On using floating-point computations to help an exact linear arithmetic decision procedure
CoRR abs/0904.3525: (2009) |
| 2008 |
|---|
| 28 | EE | David Monniaux:
A Quantifier Elimination Algorithm for Linear Real Arithmetic.
LPAR 2008: 243-257 |
| 27 | EE | David Monniaux:
The pitfalls of verifying floating-point computations.
ACM Trans. Program. Lang. Syst. 30(3): (2008) |
| 26 | EE | David Monniaux:
A Quantifier Elimination Algorithm for Linear Real Arithmetic
CoRR abs/0803.1575: (2008) |
| 25 | EE | David Monniaux:
Automatic Modular Abstractions for Linear Constraints
CoRR abs/0811.0166: (2008) |
| 2007 |
|---|
| 24 | EE | David Monniaux:
Verification of device drivers and intelligent controllers: a case study.
EMSOFT 2007: 30-36 |
| 23 | EE | David Monniaux:
Optimal Abstraction on Real-Valued Programs.
SAS 2007: 104-120 |
| 22 | EE | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Antoine Miné,
Laurent Mauborgne,
David Monniaux,
Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE.
TASE 2007: 3-20 |
| 21 | EE | David Monniaux:
Applying the Z-transform for the static analysis of floating-point numerical filters
CoRR abs/0706.0252: (2007) |
| 20 | EE | David Monniaux:
The parallel implementation of the Astrée static analyzer
CoRR abs/cs/0701191: (2007) |
| 19 | EE | David Monniaux:
The pitfalls of verifying floating-point computations
CoRR abs/cs/0701192: (2007) |
| 18 | EE | 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
CoRR abs/cs/0701193: (2007) |
| 17 | EE | David Monniaux:
An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs
CoRR abs/cs/0701195: (2007) |
| 2006 |
|---|
| 16 | EE | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux,
Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer.
ASIAN 2006: 272-300 |
| 2005 |
|---|
| 15 | EE | David Monniaux:
The Parallel Implementation of the Astrée Static Analyzer.
APLAS 2005: 86-96 |
| 14 | EE | David Monniaux:
Compositional Analysis of Floating-Point Linear Numerical Filters.
CAV 2005: 199-212 |
| 13 | EE | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux,
Xavier Rival:
The ASTREÉ Analyzer.
ESOP 2005: 21-30 |
| 12 | EE | David Monniaux:
Abstract interpretation of programs as Markov decision processes.
Sci. Comput. Program. 58(1-2): 179-205 (2005) |
| 2003 |
|---|
| 11 | EE | 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.
PLDI 2003: 196-207 |
| 10 | EE | David Monniaux:
Abstract Interpretation of Programs as Markov Decision Processes.
SAS 2003: 237-254 |
| 9 | EE | David Monniaux:
Abstraction of Expectation Functions Using Gaussian Distributions.
VMCAI 2003: 161-173 |
| 8 | EE | David Monniaux:
Abstracting cryptographic protocols with tree automata.
Sci. Comput. Program. 47(2-3): 177-202 (2003) |
| 2002 |
|---|
| 7 | EE | 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.
The Essence of Computation 2002: 85-108 |
| 2001 |
|---|
| 6 | EE | David Monniaux:
Backwards Abstract Interpretation of Probabilistic Programs.
ESOP 2001: 367-382 |
| 5 | EE | David Monniaux:
An abstract Monte-Carlo method for the analysis of probabilistic programs.
POPL 2001: 93-101 |
| 4 | EE | David Monniaux:
An Abstract Analysis of the Probabilistic Termination of Programs.
SAS 2001: 111-126 |
| 2000 |
|---|
| 3 | | David Monniaux:
Abstract Interpretation of Probabilistic Semantics.
SAS 2000: 322-339 |
| 1999 |
|---|
| 2 | EE | David Monniaux:
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief.
CSFW 1999: 44-54 |
| 1 | EE | David Monniaux:
Abstracting Cryptographic Protocols with Tree Automata.
SAS 1999: 149-163 |
