Antoine Miné

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou: A Constraint Solver Based on Abstract Domains. VMCAI 2013: 434-454

Antoine Miné: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs. Logical Methods in Computer Science 8(1) (2012)

Antoine Miné: Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations. Electr. Notes Theor. Comput. Sci. 287: 89-100 (2012)

Antoine Miné, David Schmidt (Eds.): Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7460, Springer 2012, isbn 978-3-642-33124-4

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)

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Linear Absolute Value Relation Analysis. ESOP 2011: 156-175

Antoine Miné: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. ESOP 2011: 398-418

Antoine Miné, Enric Rodríguez-Carbonell: Preface. Electr. Notes Theor. Comput. Sci. 267(1): 1-2 (2010)

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128

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)

Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims: Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009)

Bertrand Jeannet, Antoine Miné: Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325

Liqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18

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

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)

Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices. CoRR abs/cs/0703073 (2007)

Antoine Miné: Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics. CoRR abs/cs/0703074 (2007)

Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains. CoRR abs/cs/0703075 (2007)

Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. CoRR abs/cs/0703076 (2007)

Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. CoRR abs/cs/0703077 (2007)

Antoine Miné: The Octagon Abstract Domain. CoRR abs/cs/0703084 (2007)

Antoine Miné: The octagon abstract domain. Higher-Order and Symbolic Computation 19(1): 31-100 (2006)

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

Antoine Miné: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. LCTES 2006: 54-63

Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. VMCAI 2006: 348-363

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30

Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. ESOP 2004: 3-17

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

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

Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains. SAS 2002: 117-132

Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices. PADO 2001: 155-172

Antoine Miné: The Octagon Abstract Domain. WCRE 2001: 310-