BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × India
1 × Italy
1 × United Kingdom
2 × France
3 × Germany
3 × Spain
4 × USA
Collaborated with:
∅ C.Urban P.Cousot L.Chen J.Wang B.Jeannet J.Breck T.W.Reps M.Journault A.Ouadjaout R.Cousot J.Feret L.Mauborgne D.Monniaux X.Rival M.Pelleau C.Truchet F.Benhamou J.Liu D.Kapur B.Blanchet
Talks about:
abstract (14) domain (12) analysi (5) relat (5) numer (5) valu (5) static (4) infer (4) constraint (3) program (3)

Person: Antoine Miné

DBLP DBLP: Min=eacute=:Antoine

Facilitated 1 volumes:

SAS 2012Ed

Contributed to:

VMCAI 20152015
ESOP 20142014
SAS 20142014
VMCAI 20142014
VMCAI 20132013
ESOP 20112011
VMCAI 20102010
CAV 20092009
SAS 20092009
LCTES 20062006
VMCAI 20062006
ESOP 20052005
ESOP 20042004
PLDI 20032003
SAS 20022002
WCRE 20012001
ESOP 20162016
ESOP 20192019

Wrote 20 papers:

VMCAI-2015-UrbanM #abstract interpretation #proving
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.
ESOP-2014-UrbanM #abstract domain #ranking
An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
SAS-2014-ChenLMKW #abstract domain #constraints
An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SAS-2014-UrbanM #abstract domain #proving #termination
A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
VMCAI-2014-Mine #abstract interpretation #analysis #relational #thread
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
VMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving
A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
ESOP-2011-ChenMWC #analysis #linear
Linear Absolute Value Relation Analysis (LC, AM, JW, PC), pp. 156–175.
ESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
VMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
CAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
SAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
LCTES-2006-Mine #analysis #c #embedded #pointer #source code
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (AM), pp. 54–63.
VMCAI-2006-Mine #abstract domain #precise
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
ESOP-2005-CousotCFMMMR
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
ESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
PLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
SAS-2002-Mine #abstract domain #graph #relational
A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.
WCRE-2001-Mine #abstract domain
The Octagon Abstract Domain (AM), p. 310–?.
ESOP-2016-MineBR #algorithm #constraints #induction #invariant #source code #theorem proving
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs (AM, JB, TWR), pp. 560–588.
ESOP-2019-JournaultMO #abstract domain
An Abstract Domain for Trees with Numeric Relations (MJ, AM, AO), pp. 724–751.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.