Concepedia

Antoine Miné

AM

Statistics

Publications

30

Citations

2.8K

H-Index

20

Active since

1999

Affiliations

École Normale Supérieure - PSL(Current)

École Normale Supérieure

Centre National de la Recherche Scientifique

Sorbonne Université

AbsInt (Germany)

Antoine Miné is an author at École Normale Supérieure - PSL specializing in computer science, computing, and static analysis.

ORCID

Publications per year

1999–2020

30

Publications

30

The octagon abstract domain

Antoine Miné · LISP and Symbolic Computation · 2006 · 698 citations

, , +5

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

, , +13

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text

, , +13

The octagon abstract domain

Antoine Miné · 2002 · 233 citations

, , +5

Weakly relational numerical abstract domains

Antoine Miné · OpenGrey (Institut de l'Information Scientifique et Technique) · 2004 · 130 citations · Full text

, , +12

1–5 of 30