\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{CMWC11}

\bibitem[BCC{\etalchar{+}}02]{mine-al:nj02}
B{.} Blanchet, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
  Min\'e, D{.} Monniaux, and X{.} Rival.
\newblock Design and implementation of a special-purpose static program
  analyzer for safety-critical real-time embedded software, invited chapter.
\newblock In T{.} Mogensen, D{.}~A{.} Schmidt, and I{.}~H{.} Sudborough,
  editors, {\em The Essence of Computation: Complexity, Analysis,
  Transformation. Essays Dedicated to Neil D{.} Jones}, volume 2566 of {\em
  Lecture Notes in Computer Science}, pages 85--108. Springer, October 2002.
\newblock
  \url{http://www.di.ens.fr/~mine/publi/BlanchetCousotEtAl-LNCS-v2566-p85-108-%
2002.pdf}.

\bibitem[BCC{\etalchar{+}}03]{mine-al:pldi03}
B{.} Blanchet, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
  Min\'e, D{.} Monniaux, and X{.} Rival.
\newblock A static analyzer for large safety-critical software.
\newblock In {\em Proc. of the ACM SIGPLAN Conf. on Programming Language Design
  and Implementation (PLDI'03)}, pages 196--207. ACM Press, June 2003.
\newblock \url{http://www.di.ens.fr/~mine/publi/pldi045-blanchet.pdf}.

\bibitem[BCC{\etalchar{+}}09]{mine:dasia09}
O{.} Bouissou, E{.} Conquet, P{.} Cousot, R{.} Cousot, J{.} Feret, K{.}
  Ghorbal, E{.} Goubault, D{.} Lesens, L{.} Mauborgne, A{.} Min\'e, S{.} Putot,
  X{.} Rival, and M{.} Turin.
\newblock Space software validation using abstract interpretation.
\newblock In {\em Proc. of the Int. Space System Engineering Conf., Data
  Systems in Aerospace (DASIA 2009)}, volume SP-669, pages 1--7. ESA, May 2009.
\newblock
  \url{http://www.di.ens.fr/~mine/publi/article-bouissou-al-dasia09.pdf}.

\bibitem[BCC{\etalchar{+}}10]{bertrane-al-aiaa10}
J{.} Bertrane, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
  Min{\'e}, and X{.} Rival.
\newblock Static analysis and verification of aerospace software by abstract
  interpretation.
\newblock In {\em AIAA Infotech$@$Aerospace (I$@$A 2010)}, number
  AIAA-2010-3385, pages 1--38. AIAA (American Institute of Aeronautics and
  Astronautics), Apr. 2010.
\newblock \url{http://www.di.ens.fr/~mine/publi/bertrane-al-aiaa10.pdf}.

\bibitem[BCC{\etalchar{+}}11]{bertrane-al-umlfm10}
J{.} Bertrane, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
  Min{\'e}, and X{.} Rival.
\newblock Static analysis by abstract interpretation of embedded critical
  software.
\newblock {\em ACM SIGSOFT Software Engineering Notes (SEN), Proc. of the 3rd
  IEEE International workshop on UML and Formal Methods (UML\&FM'10)}, 36:1--8,
  Jan. 2011.
\newblock \url{http://www.di.ens.fr/~mine/publi/bertrane-al-umlfm10.pdf}.

\bibitem[CCF{\etalchar{+}}05]{mine-al:esop05}
P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.} Min\'e, D{.}
  Monniaux, and X{.} Rival.
\newblock The {ASTR\'EE} analyzer.
\newblock In {\em Proc. of the European Symposium on Programming (ESOP'05)},
  volume 3444 of {\em Lecture Notes in Computer Science}, pages 21--30.
  Springer, April 2005.
\newblock \url{http://www.di.ens.fr/~mine/publi/esop05_astree.pdf}.

\bibitem[CCF{\etalchar{+}}06]{mine-al:asian06}
P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.} Min\'e, D{.}
  Monniaux, and X{.} Rival.
\newblock Combination of abstractions in the {ASTR\'EE} static analyzer.
\newblock In {\em Post-proc. of the 11th Annual Asian Computing Science
  Conference (ASIAN'06)}, volume 4435 of {\em Lecture Notes in Computer
  Science}, pages 272--300. Springer, December 2006.
\newblock \url{http://www.di.ens.fr/~mine/publi/CousotEtAl-asian06.pdf}.

\bibitem[CCF{\etalchar{+}}07]{mine-al:tase07}
P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.} Min\'e, D{.}
  Monniaux, and X{.} Rival.
\newblock Varieties of static analyzers: A comparison with {ASTR\'EE}, invited
  paper.
\newblock In He~Jifeng and J{.} Sanders, editors, {\em Proc. of the First IEEE
  \& IFIP International Symposium on Theoretical Aspects of Software
  Engineering (TASE'07)}, pages 3--17. IEEE CS Press, June 2007.
\newblock \url{http://www.di.ens.fr/~mine/publi/CousotP-Astree-TASE07.pdf}.

\bibitem[CCF{\etalchar{+}}09]{cousot-al:fmsd10}
P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.} Min\'e, and X{.}
  Rival.
\newblock Why does {A}str\'ee scale up?
\newblock {\em Formal Methods in System Design}, 35(3):229--264, Dec 2009.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-cousot-al-FMSD10.pdf}.

\bibitem[CMC08]{chen-al:aplas08}
L{.} Chen, A{.} Min\'e, and P{.} Cousot.
\newblock A sound floating-point polyhedra abstract domain.
\newblock In {\em Proc. of the Sixth Asian Symposium on Programming Languages
  and Systems (APLAS'08)}, volume 5356 of {\em LNCS}, pages 3--18. Springer,
  December 2008.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-chen-al-aplas08.pdf}.

\bibitem[CMWC09]{chen-al:sas09}
L{.} Chen, A{.} Min\'e, J{.} Wang, and P{.} Cousot.
\newblock Interval polyhedra: An abstract domain to infer interval linear
  relationships.
\newblock In {\em Proc. of the 16th Int. Static Analysis Symposium (SAS'09)},
  volume 5673 of {\em LNCS}, pages 309--325. Springer, August 2009.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-chen-al-sas09.pdf}.

\bibitem[CMWC10]{chen-al:vmcai10}
L{.} Chen, A{.} Min{\'e}, J{.} Wang, and P{.} Cousot.
\newblock An abstract domain to discover interval linear equalities.
\newblock In {\em Proc. of the 11th Int. Conf. on Verification, Model Checking,
  and Abstract Interpretation (VMCAI'10)}, volume 5944 of {\em LNCS}, pages
  112--128. Springer, January 2010.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-chen-al-vmcai10.pdf}.

\bibitem[CMWC11]{chen-al:esop11}
L{.} Chen, A{.} Min{\'e}, J{.} Wang, and P{.} Cousot.
\newblock Linear absolute value relation analysis.
\newblock In {\em Proc. of the 20th European Symposium on Programming
  (ESOP'11)}, volume 6602 of {\em LNCS}, pages 156--175. Springer, March 2011.
\newblock \url{http://www.di.ens.fr/~mine/publi/chen-al-esop11.pdf}.

\bibitem[JM09]{mine:cav09}
B{.} Jeannet and A{.} Min\'e.
\newblock Apron: A library of numerical abstract domains for static analysis.
\newblock In {\em Proc. of the 21th Int. Conf. on Computer Aided Verification
  (CAV 2009)}, volume 5643 of {\em Lecture Notes in Computer Science}, pages
  661--667. Springer, June 2009.
\newblock
  \url{http://www.di.ens.fr/~mine/publi/article-mine-jeannet-cav09.pdf}.

\bibitem[KWN{\etalchar{+}}10]{kastner-al:erts10}
D{.} K{\"a}stner, S{.} Wilhelm, S{.} Nenova, P{.} Cousot, R{.} Cousot, J{.}
  Feret, L{.} Mauborgne, A{.} Min{\'e}, and X{.} Rival.
\newblock {A}str{\'e}e: Proving the absence of runtime errors.
\newblock In {\em Embedded Real Time Software and Systems (ERTS${}^2$ 2010)},
  pages 1--9, May 2010.
\newblock \url{http://www.di.ens.fr/~mine/publi/kastner-al-erts10.pdf}.

\bibitem[Min00]{mine:dea}
A{.} Min\'e.
\newblock Representation of two-variable difference or sum constraint set and
  application to automatic program analysis.
\newblock Master thesis, \'Ecole normale sup\'erieure, D\'epartement
  d'informatique, Paris, France, 2000.
\newblock \url{http://www.di.ens.fr/~mine/publi/report-mine-dea.pdf}.

\bibitem[Min01a]{mine:padoII}
A{.} Min\'e.
\newblock A new numerical abstract domain based on difference-bound matrices.
\newblock In {\em Proc. of the 2d Symp. on Programs as Data Objects (PADO II)},
  volume 2053 of {\em Lecture Notes in Computer Science}, pages 155--172.
  Springer, May 2001.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}.

\bibitem[Min01b]{mine:ast01}
A{.} Min\'e.
\newblock The octagon abstract domain.
\newblock In {\em Proc. of the Workshop on Analysis, Slicing, and
  Transformation (AST'01)}, IEEE, pages 310--319. IEEE CS Press, October 2001.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-ast01.pdf}.

\bibitem[Min02]{mine:sas02}
A{.} Min\'e.
\newblock A few graph-based relational numerical abstract domains.
\newblock In {\em Proc. of the 9th Int. Static Analysis Symposium (SAS'02)},
  volume 2477 of {\em Lecture Notes in Computer Science}, pages 117--132.
  Springer, September 2002.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-sas02.pdf}.

\bibitem[Min04a]{mine:esop04}
A{.} Min\'e.
\newblock Relational abstract domains for the detection of floating-point
  run-time errors.
\newblock In {\em Proc. of the European Symposium on Programming (ESOP'04)},
  volume 2986 of {\em Lecture Notes in Computer Science}, pages 3--17.
  Springer, 2004.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-esop04.pdf}.

\bibitem[Min04b]{mine:phd}
A{.} Min\'e.
\newblock {\em Weakly Relational Numerical Abstract Domains}.
\newblock PhD thesis, \'Ecole Polytechnique, Palaiseau, France, December 2004.
\newblock \url{http://www.di.ens.fr/~mine/these/these-color.pdf}.

\bibitem[Min06a]{mine:lctes06}
A{.} Min\'e.
\newblock Field-sensitive value analysis of embedded {C} programs with union
  types and pointer arithmetics.
\newblock In {\em ACM SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools
  for Embedded Systems (LCTES'06)}, pages 54--63. ACM Press, June 2006.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-lctes06.pdf}.

\bibitem[Min06b]{mine:hosc06}
A{.} Min\'e.
\newblock The octagon abstract domain.
\newblock {\em Higher-Order and Symbolic Computation}, 19(1):31--100, 2006.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}.

\bibitem[Min06c]{mine:vmcai06}
A{.} Min\'e.
\newblock Symbolic methods to enhance the precision of numerical abstract
  domains.
\newblock In {\em Proc. of the 7th Int. Conf. on Verification, Model Checking,
  and Abstract Interpretation (VMCAI'06)}, volume 3855 of {\em Lecture Notes in
  Computer Science}, pages 348--363. Springer, January 2006.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-VMCAI06.pdf}.

\bibitem[Min11]{mine:esop11}
A{.} Min{\'e}.
\newblock Static analysis of run-time errors in embedded critical parallel {C}
  programs.
\newblock In {\em Proc. of the 20th European Symposium on Programming
  (ESOP'11)}, volume 6602 of {\em LNCS}, pages 398--418. Springer, March 2011.
\newblock \url{http://www.di.ens.fr/~mine/publi/article-mine-esop11.pdf}.

\end{thebibliography}