| 2008 |
|---|
| 20 | EE | Liqian Chen,
Antoine Miné,
Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain.
APLAS 2008: 3-18 |
| 2007 |
|---|
| 19 | 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 |
| 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 | Antoine Miné:
A New Numerical Abstract Domain Based on Difference-Bound Matrices
CoRR abs/cs/0703073: (2007) |
| 16 | EE | Antoine Miné:
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics
CoRR abs/cs/0703074: (2007) |
| 15 | EE | Antoine Miné:
A Few Graph-Based Relational Numerical Abstract Domains
CoRR abs/cs/0703075: (2007) |
| 14 | EE | Antoine Miné:
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
CoRR abs/cs/0703076: (2007) |
| 13 | EE | Antoine Miné:
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
CoRR abs/cs/0703077: (2007) |
| 12 | EE | Antoine Miné:
The Octagon Abstract Domain
CoRR abs/cs/0703084: (2007) |
| 2006 |
|---|
| 11 | 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 |
| 10 | EE | Antoine Miné:
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.
LCTES 2006: 54-63 |
| 9 | EE | Antoine Miné:
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.
VMCAI 2006: 348-363 |
| 8 | EE | Antoine Miné:
The octagon abstract domain.
Higher-Order and Symbolic Computation 19(1): 31-100 (2006) |
| 2005 |
|---|
| 7 | EE | Patrick Cousot,
Radhia Cousot,
Jérôme Feret,
Laurent Mauborgne,
Antoine Miné,
David Monniaux,
Xavier Rival:
The ASTREÉ Analyzer.
ESOP 2005: 21-30 |
| 2004 |
|---|
| 6 | EE | Antoine Miné:
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.
ESOP 2004: 3-17 |
| 2003 |
|---|
| 5 | 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 |
| 2002 |
|---|
| 4 | EE | Antoine Miné:
A Few Graph-Based Relational Numerical Abstract Domains.
SAS 2002: 117-132 |
| 3 | 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 |
|---|
| 2 | EE | Antoine Miné:
A New Numerical Abstract Domain Based on Difference-Bound Matrices.
PADO 2001: 155-172 |
| 1 | EE | Antoine Miné:
The Octagon Abstract Domain.
WCRE 2001: 310- |
