|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 26 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Monniaux, Pierre Corbineau |
On the Generation of Positivstellensatz Witnesses in Degenerate Cases  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux, Martin Bodin |
Modular Abstractions of Reactive Nodes using Disjunctive Invariants |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux, Julien Le Guen |
Stratified Static Analysis Based on Variable Dependencies |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux, Laure Gonnord |
Using Bounded Model Checking to Focus Fixpoint Iterations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux, Pierre Corbineau |
On the Generation of Positivstellensatz Witnesses in Degenerate Cases. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Martin Bodin |
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Laure Gonnord |
Using Bounded Model Checking to Focus Fixpoint Iterations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Automatic Modular Abstractions for Template Numerical Constraints |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
Quantifier Elimination by Lazy Model Enumeration. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
A minimalistic look at widening operators |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
On using floating-point computations to help an exact linear arithmetic decision procedure |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
Automatic modular abstractions for template numerical constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
A minimalistic look at widening operators. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Automatic modular abstractions for linear constraints. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
program transformation, abstract interpretation, quantifier elimination, linear inequalities |
| 1 | David Monniaux |
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
The pitfalls of verifying floating-point computations. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754 |
| 1 | David Monniaux |
Automatic Modular Abstractions for Linear Constraints |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
A Quantifier Elimination Algorithm for Linear Real Arithmetic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
A Quantifier Elimination Algorithm for Linear Real Arithmetic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
The pitfalls of verifying floating-point computations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
The parallel implementation of the Astrée static analyzer |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
Applying the Z-transform for the static analysis of floating-point numerical filters |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Monniaux |
Verification of device drivers and intelligent controllers: a case study. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
OHCI, direct memory access, verification, parallelism, asynchronous, device driver, linked lists, USB |
| 1 | David Monniaux |
Optimal Abstraction on Real-Valued Programs. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Abstract interpretation of programs as Markov decision processes. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
The Parallel Implementation of the Astrée Static Analyzer. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Compositional Analysis of Floating-Point Linear Numerical Filters. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival |
The ASTREÉ Analyzer. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Abstracting cryptographic protocols with tree automata. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains |
| 1 | David Monniaux |
Abstract Interpretation of Programs as Markov Decision Processes. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Abstraction of Expectation Functions Using Gaussian Distributions. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
An abstract Monte-Carlo method for the analysis of probabilistic programs. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
An Abstract Analysis of the Probabilistic Termination of Programs. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Backwards Abstract Interpretation of Probabilistic Programs. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Abstract Interpretation of Probabilistic Semantics. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
formal methods, cryptographic protocols, forward chaining, BAN logic |
| 1 | David Monniaux |
Abstracting Cryptographic Protocols with Tree Automata. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")