Bibliography
Antoine Min′e
February25,2008
References
[BCC+02]B.Blanchet,P.Cousot,R.Cousot,J.Feret,L.Mauborgne, A.Min′e, D.Mon-niaux,and X.Rival.Design and implementation of a special-purpose static
program analyzer for safety-critical real-time embedded software,invited chap-
ter.In T.Mogensen, D. A.Schmidt,and I.H.Sudborough,editors,The
Essence of Computation:Complexity,Analysis,Transformation.Essays Dedicated
to Neil D.Jones,volume2566of Lecture Notes in Computer Science,pages85–
108.Springer,October2002.http://www.di.ens.fr/~cousot/publications.www/
BlanchetCousotEtAl-LNCS-v2566-p85-108-2002.pdf.
[BCC+03]B.Blanchet,P.Cousot,R.Cousot,J.Feret,L.Mauborgne,A.Min′e,D.Monniaux, and X.Rival.A static analyzer for large safety-critical software.In Proc.of the ACM
SIGPLAN Conf.on Programming Language Design and Implementation(PLDI’03),
pages196–207,San Diego,California,USA,June2003.ACM Press.http://www.
di.ens.fr/~mine/publi/pldi045-blanchet.pdf.
[CCF+05]P.Cousot,R.Cousot,J.Feret,L.Mauborgne,A.Min′e,D.Monniaux,and X.Ri-val.The ASTR′EE analyzer.In Proc.of the European Symposium on Program-
ming(ESOP’05),volume3444of Lecture Notes in Computer Science,pages21–30,
Edinburgh,Scotland,April2005.Springer.http://www.di.ens.fr/~mine/publi/
esop05_astree.pdf.
[CCF+06]P.Cousot,R.Cousot,J.Feret,L.Mauborgne,A.Min′e,D.Monniaux,and X.Rival.
Combination of abstractions in the ASTR′EE static analyzer.In Post-proc.of the11th
Annual Asian Computing Science Conference(ASIAN’06),volume4435of Lecture
Notes in Computer Science,pages272–300,Tokyo,Japon,December2006.Springer.
http://www.di.ens.fr/~mine/publi/CousotEtAl-asian06.pdf.
[CCF+07]P.Cousot,R.Cousot,J.Feret,L.Mauborgne,A.Min′e,D.Monniaux,and X.Rival.
Varieties of static analyzers:A comparison with ASTR′EE,invited paper.In He Jifeng
and J.Sanders,editors,Proc.of the First IEEE&IFIP International Symposium on
Theoretical Aspects of Software Engineering(TASE’07),pages3–17,Shanghai,China,
June2007.IEEE CS Press.http://www.di.ens.fr/~cousot/publications.www/
CousotP-Astree-TASE07.pdf.
[Min00] A.Min′e.Representation of two-variable di?erence or sum constraint set and ap-plication to automatic program analysis.Master thesis,′Ecole normale sup′e rieure,
D′e partement d’informatique,Paris,France,2000.http://www.di.ens.fr/~mine/
publi/report-mine-dea.pdf.
[Min01a] A.Min′e.A new numerical abstract domain based on di?erence-bound matrices.In Proc.of the2d Symp.on Programs as Data Objects(PADO II),volume2053of
Lecture Notes in Computer Science,pages155–172,Aarhus,Danemark,May2001.
Springer.http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf. [Min01b] A.Min′e.The octagon abstract domain.In Proc.of the Workshop on Analysis,Slicing, and Transformation(AST’01),IEEE,pages310–319,Stuttgart,Gernamy,October
2001.IEEE CS Press.http://www.di.ens.fr/~mine/publi/article-mine-ast01.
pdf.
[Min02] A.Min′e.A few graph-based relational numerical abstract domains.In Proc.of the9th Int.Static Analysis Symposium(SAS’02),volume2477of Lecture Notes in
Computer Science,pages117–132,Madrid,Spain,September2002.Springer.http:
//www.di.ens.fr/~mine/publi/article-mine-sas02.pdf.
[Min04a] A.Min′e.Relational abstract domains for the detection of?oating-point run-time errors.In Proc.of the European Symposium on Programming(ESOP’04),volume
2986of Lecture Notes in Computer Science,pages3–17.Springer,Barcelona,Spain
2004.http://www.di.ens.fr/~mine/publi/article-mine-esop04.pdf.
[Min04b] A.Min′e.Weakly Relational Numerical Abstract Domains.PhD thesis,′Ecole Polytech-nique,Palaiseau,France,December2004.http://www.di.ens.fr/~mine/these/
these-color.pdf.
[Min06a] A.Min′e.Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.In ACM SIGPLAN/SIGBED Conf.on Languages,Com-
pilers,and Tools for Embedded Systems(LCTES’06),pages54–63,Ottawa,On-
tario,Canada,June2006.ACM Press.http://www.di.ens.fr/~mine/publi/
article-mine-lctes06.pdf.
[Min06b] A.Min′e.The octagon abstract domain.Higher-Order and Symbolic Computation, 19(1):31–100,2006.http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.
pdf.
[Min06c] A.Min′e.Symbolic methods to enhance the precision of numerical abstract do-mains.In Proc.of the7th Int.Conf.on Veri?cation,Model Checking,and Ab-
stract Interpretation(VMCAI’06),volume3855of Lecture Notes in Computer Sci-
ence,pages348–363,Charleston,South Carolina,USA,January2006.Springer.
http://www.di.ens.fr/~mine/publi/article-mine-VMCAI06.pdf.