Search the dblp DataBase
Antoine Miné :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] The Essence of Computation, 2002, pp:85-108 [Conf ] Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP ] ESOP, 2005, pp:21-30 [Conf ] Antoine Miné Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:3-17 [Conf ] Antoine Miné Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. [Citation Graph (0, 0)][DBLP ] LCTES, 2006, pp:54-63 [Conf ] Antoine Miné A New Numerical Abstract Domain Based on Difference-Bound Matrices. [Citation Graph (0, 0)][DBLP ] PADO, 2001, pp:155-172 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:196-207 [Conf ] Antoine Miné A Few Graph-Based Relational Numerical Abstract Domains. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:117-132 [Conf ] Antoine Miné Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. [Citation Graph (0, 0)][DBLP ] VMCAI, 2006, pp:348-363 [Conf ] Antoine Miné The Octagon Abstract Domain. [Citation Graph (0, 0)][DBLP ] WCRE, 2001, pp:310-0 [Conf ] Antoine Miné The octagon abstract domain. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:31-100 [Journal ] Patrick Cousot , Radhia Cousot , Jérôme Feret , Antoine Miné , Laurent Mauborgne , David Monniaux , Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP ] TASE, 2007, pp:3-20 [Conf ] 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 [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné A New Numerical Abstract Domain Based on Difference-Bound Matrices [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné A Few Graph-Based Relational Numerical Abstract Domains [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné Symbolic Methods to Enhance the Precision of Numerical Abstract Domains [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antoine Miné The Octagon Abstract Domain [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] A Sound Floating-Point Polyhedra Abstract Domain. [Citation Graph (, )][DBLP ] Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP ] Apron: A Library of Numerical Abstract Domains for Static Analysis. [Citation Graph (, )][DBLP ] Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP ] An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs