The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antoine Miné: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:85-108 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Antoine Miné
    A New Numerical Abstract Domain Based on Difference-Bound Matrices. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:155-172 [Conf]
  6. 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]
  7. Antoine Miné
    A Few Graph-Based Relational Numerical Abstract Domains. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:117-132 [Conf]
  8. Antoine Miné
    Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:348-363 [Conf]
  9. Antoine Miné
    The Octagon Abstract Domain. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:310-0 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Antoine Miné
    A New Numerical Abstract Domain Based on Difference-Bound Matrices [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  14. 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]
  15. Antoine Miné
    A Few Graph-Based Relational Numerical Abstract Domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  16. Antoine Miné
    Symbolic Methods to Enhance the Precision of Numerical Abstract Domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  17. 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]
  18. Antoine Miné
    The Octagon Abstract Domain [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  19. A Sound Floating-Point Polyhedra Abstract Domain. [Citation Graph (, )][DBLP]


  20. Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]


  21. Apron: A Library of Numerical Abstract Domains for Static Analysis. [Citation Graph (, )][DBLP]


  22. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP]


  23. An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002