- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 29 |      | Antoine Miné: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs Logical Methods in Computer Science 8(1): (2012) |
| 2011 | ||
| 28 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 |
| 27 | | Antoine Miné: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. ESOP 2011: 398-418 |
| 26 | | Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| 2010 | ||
| 25 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128 |
| 24 | | Antoine Miné, Enric Rodríguez-Carbonell: Preface. Electr. Notes Theor. Comput. Sci. 267(1): 1-2 (2010) |
| 2009 | ||
| 23 | | Bertrand Jeannet, Antoine Miné: Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667 |
| 22 | | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 |
| 21 | | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Why does Astrée scale up? Formal Methods in System Design 35(3): 229-264 (2009) |
| 2008 | ||
| 20 | | Liqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18 |
| 2007 | ||
| 19 | | 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 | | 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 | | Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices CoRR abs/cs/0703073: (2007) |
| 16 | | Antoine Miné: Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics CoRR abs/cs/0703074: (2007) |
| 15 | | Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains CoRR abs/cs/0703075: (2007) |
| 14 | | Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains CoRR abs/cs/0703076: (2007) |
| 13 | | Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors CoRR abs/cs/0703077: (2007) |
| 12 | | Antoine Miné: The Octagon Abstract Domain CoRR abs/cs/0703084: (2007) |
| 2006 | ||
| 11 | | 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 | | Antoine Miné: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. LCTES 2006: 54-63 |
| 9 | | Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. VMCAI 2006: 348-363 |
| 8 | | Antoine Miné: The octagon abstract domain. Higher-Order and Symbolic Computation 19(1): 31-100 (2006) |
| 2005 | ||
| 7 | | 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 | | Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. ESOP 2004: 3-17 |
| 2003 | ||
| 5 | | 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 | | Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains. SAS 2002: 117-132 |
| 3 | | 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 | | Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices. PADO 2001: 155-172 |
| 1 | | Antoine Miné: The Octagon Abstract Domain. WCRE 2001: 310- |
| 1 | Julien Bertrane | [26] |
| 2 | Bruno Blanchet | [3] [5] [18] |
| 3 | Liqian Chen | [20] [22] [25] [28] |
| 4 | Patrick Cousot | [3] [5] [7] [11] [18] [19] [20] [21] [22] [25] [26] [28] |
| 5 | Radhia Cousot | [3] [5] [7] [11] [18] [19] [21] [26] |
| 6 | Jérôme Feret | [3] [5] [7] [11] [18] [19] [21] [26] |
| 7 | Bertrand Jeannet | [23] |
| 8 | Laurent Mauborgne | [3] [5] [7] [11] [18] [19] [21] [26] |
| 9 | David Monniaux | [3] [5] [7] [11] [18] [19] |
| 10 | Xavier Rival | [3] [5] [7] [11] [18] [19] [21] [26] |
| 11 | Enric Rodríguez-Carbonell | [24] |
| 12 | Ji Wang | [22] [25] [28] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page