Antoine Miné

Computational Theory and Mathematics · 2001–2009

A researcher in the Science corpus: 4 papers; trusts 3 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

Whom Antoine Miné trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Bruno Blanchet

Who trusts Antoine Miné overall

  1. Roberto Bagnara
  2. Gagandeep Singh
  3. Patricia M. Hill
  4. Markus Püschel
  5. Enea Zaffanella
  6. Patrick Maxim Rondon
  7. Martin T. Vechev
  8. Arie Gurfinkel
  9. Ranjit Jhala

Papers from Antoine Miné's perspective

Ordered by how strongly the researchers Antoine Miné trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. The SLAM project: debugging system software via static analysis
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Automatic discovery of linear restraints among variables of a program
  5. Abstract Interpretation Frameworks
  6. Lazy abstraction
  7. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Reliable and Precise WCET Determination for a Real-Life Processor (International Conference on Embedded Software)
  9. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers