# Bibliography for Antoine Mine' # Last updated Mon Apr 4 20:05:28 CEST 2011 @inproceedings{mine:dasia09, author = {Bouissou, O{.} and Conquet, E{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Ghorbal, K{.} and Goubault, E{.} and Lesens, D{.} and Mauborgne, L{.} and Min\'e, A{.} and Putot, S{.} and Rival, X{.} and Turin, M{.}}, title = {Space Software Validation using Abstract Interpretation}, pages = {1--7}, volume = {SP-669}, year = {2009}, month = {May}, location = {Istambul, Turkey}, booktitle = {Proc. of the Int. Space System Engineering Conf., Data Systems in Aerospace (DASIA 2009)}, publisher = {ESA}, note = {\url{http://www.di.ens.fr/~mine/publi/article-bouissou-al-dasia09.pdf}} } @inproceedings{mine:esop04, author = {Min\'e, A{.}}, title = {Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors}, pages = {3--17}, volume = {2986}, year = {2004}, location = {Barcelona, Spain}, booktitle = {Proc. of the European Symposium on Programming (ESOP'04)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-esop04.pdf}} } @article{mine:hosc06, author = {Min\'e, A{.}}, title = {The Octagon Abstract Domain}, journal = {Higher-Order and Symbolic Computation}, editor = {O. Danvy}, publisher = {Springer}, year = {2006}, volume = {19}, number = {1}, pages = {31--100}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}} } @inproceedings{mine:cav09, author = {Jeannet, B{.} and Min\'e, A{.}}, title = {Apron: A Library of Numerical Abstract Domains for Static Analysis}, pages = {661--667}, volume = {5643}, year = {2009}, month = {June}, location = {Grenoble, France}, booktitle = {Proc. of the 21th Int. Conf. on Computer Aided Verification (CAV 2009)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-jeannet-cav09.pdf}} } @inproceedings{mine:lctes06, author = {Min\'e, A{.}}, title = {Field-Sensitive Value Analysis of Embedded {C} Programs with Union Types and Pointer Arithmetics}, pages = {54--63}, booktitle = {ACM SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'06)}, publisher = {ACM Press}, month = {June}, year = {2006}, location = {Ottawa, Ontario, Canada}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-lctes06.pdf}} } @inproceedings{bertrane-al-aiaa10, author = {Bertrane, J{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}}, title = {Static Analysis and Verification of Aerospace Software by Abstract Interpretation}, booktitle = {AIAA Infotech$@$Aerospace (I$@$A 2010)}, year = {2010}, month = {Apr.}, number = {AIAA-2010-3385}, publisher = {AIAA (American Institute of Aeronautics and Astronautics)}, location = {Atlanta, Georgia, USA}, pages = {1--38}, note = {\url{http://www.di.ens.fr/~mine/publi/bertrane-al-aiaa10.pdf}}, } @article{bertrane-al-umlfm10, author = {Bertrane, J{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}}, title = {Static Analysis by Abstract Interpretation of Embedded Critical Software}, journal = {ACM SIGSOFT Software Engineering Notes (SEN), Proc. of the 3rd IEEE International workshop on UML and Formal Methods (UML\&FM'10)}, issue = {1}, pages = {1--8}, volume = {36}, year = {2011}, month = {Jan.}, location = {Shangai, China}, note = {\url{http://www.di.ens.fr/~mine/publi/bertrane-al-umlfm10.pdf}}, } @incollection{mine-al:nj02, author = {Blanchet, B{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Monniaux, D{.} and Rival, X{.}}, title = {Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter}, booktitle = {The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D{.} Jones}, editor = {T{.} Mogensen and D{.}~A{.} Schmidt and I{.}~H{.} Sudborough}, series = {Lecture Notes in Computer Science}, volume = {2566}, pages = {85--108}, publisher = {Springer}, month = {October}, year = {2002}, note = {\url{http://www.di.ens.fr/~mine/publi/BlanchetCousotEtAl-LNCS-v2566-p85-108-2002.pdf}} } @inproceedings{chen-al:aplas08, author = {Chen, L{.} and Min\'e, A{.} and Cousot, P{.}}, title = {A Sound Floating-Point Polyhedra Abstract Domain}, booktitle = {Proc. of the Sixth Asian Symposium on Programming Languages and Systems (APLAS'08)}, year = {2008}, month = {December}, location = {Bangalore, India}, pages = {3--18}, series = {LNCS}, volume = {5356}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-chen-al-aplas08.pdf}} } @inproceedings{chen-al:esop11, author = {Chen, L{.} and Min{\'e}, A{.} and Wang, J{.} and Cousot, P{.}}, title = {Linear Absolute Value Relation Analysis}, booktitle = {Proc. of the 20th European Symposium on Programming (ESOP'11)}, year = {2011}, month = {March}, location = {Saarbr{\"u}cken, Germany}, pages = {156--175}, series = {LNCS}, volume = {6602}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/chen-al-esop11.pdf}} } @inproceedings{chen-al:sas09, author = {Chen, L{.} and Min\'e, A{.} and Wang, J{.} and Cousot, P{.}}, title = {Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships}, booktitle = {Proc. of the 16th Int. Static Analysis Symposium (SAS'09)}, year = {2009}, month = {August}, location = {Los Angeles, CA, USA}, pages = {309--325}, series = {LNCS}, volume = {5673}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-chen-al-sas09.pdf}} } @inproceedings{chen-al:vmcai10, author = {Chen, L{.} and Min{\'e}, A{.} and Wang, J{.} and Cousot, P{.}}, title = {An Abstract Domain to Discover Interval Linear Equalities}, booktitle = {Proc. of the 11th Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI'10)}, year = {2010}, month = {January}, location = {Madrid, Spain}, pages = {112--128}, series = {LNCS}, volume = {5944}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-chen-al-vmcai10.pdf}} } @article{cousot-al:fmsd10, author = {Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Rival, X{.}}, title = {Why does {A}str\'ee scale up?}, journal = {Formal Methods in System Design}, publisher = {Springer}, year = {2009}, month = {Dec}, volume = {35}, number = {3}, pages = {229--264}, note = {\url{http://www.di.ens.fr/~mine/publi/article-cousot-al-FMSD10.pdf}} } @inproceedings{mine-al:asian06, author = {Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Monniaux, D{.} and Rival, X{.}}, title = {Combination of Abstractions in the {ASTR\'EE} Static Analyzer}, booktitle = {Post-proc. of the 11th Annual Asian Computing Science Conference (ASIAN'06)}, volume = {4435}, pages = {272--300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, month = {December}, location = {Tokyo, Japon}, year = {2006}, note = {\url{http://www.di.ens.fr/~mine/publi/CousotEtAl-asian06.pdf}} } @inproceedings{mine-al:tase07, author = {Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Monniaux, D{.} and Rival, X{.}}, title = {Varieties of Static Analyzers: A Comparison with {ASTR\'EE}, invited paper}, booktitle = {Proc. of the First IEEE \& IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07)}, editor = {He Jifeng and J{.} Sanders}, publisher = {IEEE CS Press}, pages = {3--17}, month = {June}, year = {2007}, location = {Shanghai, China}, note = {\url{http://www.di.ens.fr/~mine/publi/CousotP-Astree-TASE07.pdf}} } @inproceedings{mine-al:esop05, author = {Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Monniaux, D{.} and Rival, X{.}}, title = {The {ASTR\'EE} Analyzer}, pages = {21--30}, booktitle = {Proc. of the European Symposium on Programming (ESOP'05)}, publisher = {Springer}, month = {April}, location = {Edinburgh, Scotland}, volume = {3444}, series = {Lecture Notes in Computer Science}, year = {2005}, note = {\url{http://www.di.ens.fr/~mine/publi/esop05_astree.pdf}} } @inproceedings{kastner-al:erts10, author = {K{\"a}stner, D{.} and Wilhelm, S{.} and Nenova, S{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}}, title = {{A}str{\'e}e: Proving the Absence of Runtime Errors}, booktitle = {Embedded Real Time Software and Systems (ERTS${}^2$ 2010)}, year = {2010}, month = {May}, location = {Toulouse, France}, pages = {1--9}, note = {\url{http://www.di.ens.fr/~mine/publi/kastner-al-erts10.pdf}} } @inproceedings{mine:ast01, author = {Min\'e, A{.}}, title = {The Octagon Abstract Domain}, booktitle = {Proc. of the Workshop on Analysis, Slicing, and Transformation (AST'01)}, series = {IEEE}, year = {2001}, month = {October}, location = {Stuttgart, Gernamy}, pages = {310--319}, publisher = {IEEE CS Press}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-ast01.pdf}} } @misc{mine:dea, author = {Min\'e, A{.}}, title = {Representation of Two-Variable Difference or Sum Constraint Set and Application to Automatic Program Analysis}, howpublished = {Master thesis, \'Ecole normale sup\'erieure, D\'epartement d'informatique, Paris, France}, year = {2000}, note = {\url{http://www.di.ens.fr/~mine/publi/report-mine-dea.pdf}} } @inproceedings{mine:esop11, author = {Min{\'e}, A{.}}, title = {Static Analysis of Run-Time Errors in Embedded Critical Parallel {C} Programs}, booktitle = {Proc. of the 20th European Symposium on Programming (ESOP'11)}, year = {2011}, month = {March}, location = {Saarbr{\"u}cken, Germany}, pages = {398--418}, series = {LNCS}, volume = {6602}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-esop11.pdf}} } @inproceedings{mine:padoII, author = {Min\'e, A{.}}, title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices}, booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)}, series = {Lecture Notes in Computer Science}, year = {2001}, month = {May}, pages = {155--172}, volume = {2053}, publisher = {Springer}, location = {Aarhus, Danemark}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}} } @inproceedings{mine:sas02, author = {Min\'e, A{.}}, title = {A Few Graph-Based Relational Numerical Abstract Domains}, pages = {117--132}, volume = {2477}, year = {2002}, month = {September}, booktitle = {Proc. of the 9th Int. Static Analysis Symposium (SAS'02)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, location = {Madrid, Spain}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-sas02.pdf}} } @inproceedings{mine:vmcai06, author = {Min\'e, A{.}}, title = {Symbolic Methods to Enhance the Precision of Numerical Abstract Domains}, pages = {348--363}, volume = {3855}, year = {2006}, month = {January}, booktitle = {Proc. of the 7th Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI'06)}, series = {Lecture Notes in Computer Science}, location = {Charleston, South Carolina, USA}, publisher = {Springer}, note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-VMCAI06.pdf}} } @inproceedings{mine-al:pldi03, author = {Blanchet, B{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and Monniaux, D{.} and Rival, X{.}}, title = {A Static Analyzer for Large Safety-Critical Software}, pages = {196--207}, booktitle = {Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI'03)}, publisher = {ACM Press}, month = {June}, location = {San Diego, California, USA}, year = {2003}, note = {\url{http://www.di.ens.fr/~mine/publi/pldi045-blanchet.pdf}} } @phdthesis{mine:phd, author = {Min\'e, A{.}}, title = {Weakly Relational Numerical Abstract Domains}, school = {\'Ecole Polytechnique}, address = {Palaiseau, France}, month = {December}, year = {2004}, note = {\url{http://www.di.ens.fr/~mine/these/these-color.pdf}}, }