@inproceedings{mine-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={Proc{.}~of AIAA Infotech{$@$}Aerospace (I{$@$}A 2010)},
  year={2010},
  pages={38},
  number={AIAA-2010-3385},
  month={Apr{.}},
  publisher={American Institute of Aeronautics and Astronautics (AIAA)},
  note={\url{http://www-apr.lip6.fr/~mine/publi/bertrane-al-aiaa10.pdf}},
  doi={10.2514/6.2010-3385},
}
@inproceedings{mine-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},
  pages={3--18},
  volume={5356},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Dec{.}},
  location={Bangalore, India},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-chen-al-aplas08.pdf}},
  doi={10.1007/978-3-540-89330-1_2},
}
@inproceedings{mine-APLAS18,
  author={Suzanne, T{.} and Min{\'e}, A{.}},
  title={Relational thread-modular abstract interpretation under relaxed memory models},
  booktitle={Proc{.}~of the 16th Asian Symposium on Programming Languages and Systems (APLAS'18)},
  year={2018},
  pages={109--128},
  volume={11275},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Dec{.}},
  location={Wellington, New Zealand},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/suzanne-mine-aplas18.pdf}},
  doi={10.1007/978-3-030-02768-1_6},
}
@inproceedings{mine-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 {A}str{\'e}e static analyzer},
  booktitle={Proc{.}~of the 11th Annual Asian Computing Science Conference (ASIAN'06)},
  year={2006},
  pages={272--300},
  volume={4435},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Dec{.}},
  location={Tokyo, Japan},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/CousotEtAl-asian06.pdf}},
  doi={10.1007/978-3-540-77505-8_23},
}
@inproceedings{mine-AST01,
  author={Min{\'e}, A{.}},
  title={The octagon abstract domain},
  booktitle={Proc{.}~of the Workshop on Analysis, Slicing, and Transformation (AST'01)},
  year={2001},
  pages={310-319},
  month={Oct{.}},
  location={Stuttgart, Germany},
  publisher={IEEE CS Press},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-ast01.pdf}},
  doi={10.1007/s10990-006-8609-1},
}
@incollection{mine-Boul11,
  author={Bertrane, J{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}},
  title={L'analyseur statique {A}str{\'e}e},
  booktitle={Utilisations industrielles des techniques formelles : interpr{\'e}tation abstraite},
  year={2011},
  pages={67--114},
  month={17 Jun{.}},
  publisher={Hermes Science},
}
@inproceedings{mine-CAV09,
  author={Jeannet, B{.} and Min{\'e}, A{.}},
  title={Apron: {A} library of numerical abstract domains for static analysis},
  booktitle={Proc{.}~of the 21st International Conference on Computer Aided Verification (CAV 2009)},
  year={2009},
  pages={661--667},
  volume={5643},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jun{.}},
  location={Grenoble, France},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-jeannet-cav09.pdf}},
  doi={10.1007/978-3-642-02658-4_52},
}
@article{mine-COMLAN15,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={Inference of ranking functions for proving temporal properties by abstract interpretation},
  journal={Computer Languages, Systems and Structures (COMLAN)},
  year={2015},
  pages={46},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-comlan2015.pdf}},
  doi={10.1016/j.cl.2015.10.001},
}
@inproceedings{mine-CP18,
  author={Ziat, G{.} and Pelleau, M{.} and Truchet, C{.} and Min{\'e}, A{.}},
  title={Finding solutions by finding inconsistencies},
  booktitle={Proc{.}~of the International Conference on Principles and Practice of Constraint Programming (CP'18)},
  year={2018},
  pages={420--435},
  volume={11008},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Aug{.}},
  location={Lille, France},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-pelleau-al-cp18.pdf}},
  doi={10.1007/978-3-319-98334-9_28},
}
@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},
  booktitle={Proc{.}~of the International Space System Engineering Conference on Data Systems in Aerospace (DASIA 2009)},
  year={2009},
  pages={7},
  volume={SP-669},
  month={May},
  location={Istambul, Turkey},
  publisher={ESA},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-bouissou-al-dasia09.pdf}},
  doi={1921532.1921553},
}
@inproceedings{mine-ECOOP20,
  author={Monat, R{.} and Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Static type analysis by abstract interpretation of {P}ython programs},
  booktitle={Proc{.}~of the 34th European Conference on Object-Oriented Programming (ECOOP'20)},
  year={2020},
  pages={17:1--17:29},
  volume={166},
  series={Leibniz International Proceedings in Informatics (LIPIcs)},
  month={Jul{.}},
  location={virtual conference},
  publisher={Dagstuhl Publishing},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-monat-al-ecoop20.pdf}},
  doi={10.4230/LIPIcs.ECOOP.2020.17},
}
@inproceedings{mine-EMSOFT15a,
  author={Min{\'e}, A{.} and Delmas, D{.}},
  title={Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software},
  booktitle={Proc{.}~of the 15th International Conference on Embedded Software (EMSOFT'15)},
  year={2015},
  pages={65--74},
  month={Oct{.}},
  location={Amsterdam, The Netherlands},
  publisher={IEEE CS Press},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-delmas-emsoft15.pdf}},
  doi={10.1109/EMSOFT.2015.7318261},
}
@inproceedings{mine-EMSOFT15b,
  author={Wu, W{.} and Chen, L{.} and Min{\'e}, A{.} and Dong, D{.} and Wang, J{.}},
  title={Numerical static analysis of interrupt-driven programs via sequentialization},
  booktitle={Proc{.}~of the 15th International Conference on Embedded Software (EMSOFT'15)},
  year={2015},
  pages={55--64},
  month={Oct{.}},
  location={Amsterdam, The Netherlands},
  publisher={IEEE CS Press},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-wu-al-emsoft15.pdf}},
  doi={10.1109/EMSOFT.2015.7318260},
}
@inproceedings{mine-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={Astr{\'e}e: {P}roving the absence of runtime errors},
  booktitle={Proc{.}~of Embedded Real Time Software and Systems (ERTS2 2010)},
  year={2010},
  pages={9},
  month={May},
  location={Toulouse, France},
  note={\url{http://www-apr.lip6.fr/~mine/publi/kastner-al-erts10.pdf}},
}
@inproceedings{mine-ERTS16,
  author={Min{\'e}, A{.} and Mauborgne, L{.} and Rival, X{.} and Feret, J{.} and Cousot, P{.} and K{\"a}stner, D{.} and Wilhelm, S{.} and Ferdinand, C{.}},
  title={Taking static analysis to the next level: {P}roving the absence of run-time errors and data races with {A}str{\'e}e},
  booktitle={Proc{.}~of Embedded Real Time Software and Systems (ERTS2 2016)},
  year={2016},
  pages={570--579},
  month={Jan},
  location={Toulouse, France},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-al-erts16.pdf}},
}
@inproceedings{mine-ESOP04,
  author={Min{\'e}, A{.}},
  title={Relational abstract domains for the detection of floating-point run-time errors},
  booktitle={Proc{.}~of the European Symposium on Programming (ESOP'04)},
  year={2004},
  pages={3--17},
  volume={2986},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Mar{.}},
  location={Barcelona, Spain},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-esop04.pdf}},
  doi={10.1007/978-3-540-24725-8_2},
}
@inproceedings{mine-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 {A}str{\'e}e analyzer},
  booktitle={Proc{.}~of the European Symposium on Programming (ESOP'05)},
  year={2005},
  pages={21--30},
  volume={3444},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Apr{.}},
  location={Edinburgh, Scotland},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/esop05_astree.pdf}},
  doi={10.1007/978-3-540-31987-0_3},
}
@inproceedings{mine-ESOP11a,
  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},
  pages={398--418},
  volume={6602},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Mar{.}},
  location={Saarbr{\"u}ken, Germany},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-esop11.pdf}},
  doi={10.1007/978-3-642-19718-5_21},
}
@inproceedings{mine-ESOP11b,
  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},
  pages={156--175},
  volume={6602},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Mar{.}},
  location={Saarbr{\"u}ken, Germany},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/chen-al-esop11.pdf}},
  doi={10.1007/978-3-642-19718-5_9},
}
@inproceedings{mine-ESOP14,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={An abstract domain to infer ordinal-valued ranking functions},
  booktitle={Proc{.}~of the 23rd European Symposium on Programming (ESOP'14)},
  year={2014},
  pages={412-431},
  volume={8410},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Apr{.}},
  location={Grenoble, France},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-esop14.pdf}},
  doi={10.1007/978-3-642-54833-8_22},
}
@inproceedings{mine-ESOP16,
  author={Min{\'e}, A{.} and Breck, J{.} and Reps, T{.}},
  title={An algorithm inspired by constraint solvers to infer inductive invariants in numeric programs},
  booktitle={Proc{.}~of the 25rd European Symposium on Programming (ESOP'16)},
  year={2016},
  pages={560--588},
  volume={9632},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Apr{.}},
  location={Eindhoven, The Netherlands},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-al-esop16.pdf}},
  doi={10.1007/978-3-662-49498-1_22},
}
@inproceedings{mine-ESOP19,
  author={Journault, M{.} and Min{\'e}, A{.} and Ouadjaout, A{.}},
  title={An abstract domain for trees with numeric relations},
  booktitle={Proc{.}~of the 28rd European Symposium on Programming (ESOP'19)},
  year={2019},
  pages={724--751},
  volume={11423},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Apr{.}},
  location={Prague, Czech Republic},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-journault-al-esop19.pdf}},
  doi={10.1007/978-3-030-17184-1_26},
}
@inproceedings{mine-ESS09,
  author={K{\"a}stner, D{.} and Ferdinand, C{.} and Wilhelm, S{.} and Nenova, S{.} and Honcharova, O{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.} and Sims, {\'E}{.}-J{.}},
  title={Astr{\'e}e: {N}achweis der abwesenheit von laufzeitfehlern},
  booktitle={Proc{.}~of Workshop Entwicklung zuverl{\"a}ssiger Software-Systeme (ESS'09)},
  year={2009},
  pages={6},
  month={Jun{.}},
  location={Regensburg, Germany},
  note={\url{http://www-apr.lip6.fr/~mine/publi/KaestnerEtAl2009.pdf}},
}
@article{mine-FMSD09,
  author={Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}},
  title={Why does {A}str{\'e}e scale up?},
  journal={Formal Methods in System Design (FMSD)},
  year={2009},
  pages={229--264},
  volume={35},
  number={3},
  month={Dec{.}},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-cousot-al-FMSD10.pdf}},
  doi={10.1007/s10703-009-0089-6},
}
@article{mine-FMSD18,
  author={Journault, M{.} and Min{\'e}, A{.}},
  title={Inferring functional properties of matrix manipulating programs by abstract interpretation},
  journal={Formal Methods in System Design (FMSD)},
  year={2018},
  pages={221--258},
  volume={53},
  number={2},
  month={Oct{.}},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-journault-al-fmsd18.pdf}},
  doi={10.1007/s10703-017-0311-x},
}
@article{mine-FMSD19,
  author={Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Quantitative static analysis of communication protocols using abstract {M}arkov chains},
  journal={Formal Methods in System Design (FMSD)},
  year={2019},
  pages={64--109},
  volume={54},
  number={1},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-ouadjaout-al-fmsd19.pdf}},
  doi={10.1007/s10703-019-00331-2},
}
@article{mine-FnTPL15,
  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},
  journal={Foundations and Trends in Programming Languages (FnTPL)},
  year={2015},
  pages={71--190},
  volume={2},
  number={2--3},
  publisher={Now Publishers},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-bertrane-al-fntpl15.pdf}},
  doi={10.1561/2500000002},
}
@article{mine-FnTPL17,
  author={Min{\'e}, A{.}},
  title={Tutorial on static inference of numeric invariants by abstract interpretation},
  journal={Foundations and Trends in Programming Languages (FnTPL)},
  year={2017},
  pages={120--372},
  volume={4},
  number={3--4},
  publisher={Now Publishers},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-FTiPL17.pdf}},
  doi={10.1561/2500000034},
}
@techreport{mine-HdR13,
  author={Min{\'e}, A{.}},
  title={Static analysis by abstract interpretation of concurrent programs},
  institution={{\'E}cole normale sup{\'e}rieure},
  year={2013},
  pages={94},
  month={May},
  note={\url{http://www-apr.lip6.fr/~mine/hdr/hdr-compact-col.pdf}},
}
@inproceedings{mine-HIPEAC23,
  author={Shah, N{.} R{.} and Misra, A{.} and Min{\'e}, A{.} and Venkat, R{.} and Upadrasta, R{.}},
  title={Scalable and accurate approximation framework for cache miss calculation},
  booktitle={Proc{.}~of HiPEAC (HiPEAC'23)},
  year={2023},
  month={Jan{.}},
  location={Toujouse, France},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/shah-et-al-taco23.pdf}},
}
@article{mine-HOSC06,
  author={Min{\'e}, A{.}},
  title={The octagon abstract domain},
  journal={Higher-Order and Symbolic Computation (HOSC)},
  year={2006},
  pages={31--100},
  volume={19},
  number={1},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-HOSC06.pdf}},
  doi={10.1007/s10990-006-8609-1},
}
@techreport{mine-INRIA99,
  author={Min{\'e}, A{.} and Neyret, F{.}},
  title={Perlin textures in real time using {O}pen{G}{L}},
  institution={INRIA},
  year={1999},
  pages={21},
  number={2713},
  month={Jun{.}},
  note={\url{http://hal.inria.fr/inria-00072955}},
}
@inproceedings{mine-JFLA23,
  author={Valnet, M{.} and Monat, R{.} and Min{\'e}, A{.}},
  title={Analyse statique de valeurs par interpr{\'e}tation abstraite de programmes fonctionnels manipulant des types alg{\'e}briques r{\'e}cursifs},
  booktitle={Proc{.}~of Journ{\'e}es Francophones des Langages Applicatifs (JFLA'23)},
  year={2023},
  month={31 Jan{.}--3 Feb{.}},
  location={Praz-sur-Arly, France},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-valnet-al-jfla23.pdf}},
}
@inproceedings{mine-JFPC13,
  author={Pelleau, M{.} and Min{\'e}, A{.} and Truchet, C{.} and Benhamou, F{.}},
  title={Un solveur de contraintes bas{\'e} sur les domaines abstraits},
  booktitle={Proc{.}~of 9{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'13)},
  year={2013},
  pages={259--268},
  month={12--13 Jun{.}},
  location={Aix-en-Provence, France},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-pelleau-jfpc2013.pdf}},
}
@article{mine-JSS16,
  author={Ouadjaout, A{.} and Min{\'e}, A{.} and Lasla, N{.} and Badache, N{.}},
  title={Static analysis by abstract interpretation of functional properties of device drivers in {T}iny{O}{S}},
  journal={Journal of Systems and Software (JSS)},
  year={2016},
  pages={114--132},
  volume={120},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-ouadjaout-al-jss16.pdf}},
  doi={10.1016/j.jss.2016.07.030},
}
@inproceedings{mine-LCTES06,
  author={Min{\'e}, A{.}},
  title={Field-sensitive value analysis of embedded {C} programs with union types and pointer arithmetics},
  booktitle={Proc{.}~of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06)},
  year={2006},
  pages={54--63},
  month={Jun{.}},
  location={Ottawa, Ontario, Canada},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-lctes06.pdf}},
}
@masterthesis{mine-Licence98,
  author={Min{\'e}, A{.}},
  title={Textures proc{\'e}durales en temps r{\'e}el avec {O}pen{G}{L}},
  school={{\'E}cole normale sup{\'e}rieure},
  year={1998},
  pages={55},
  month={Sep{.}},
  note={\url{http://www-apr.lip6.fr/~mine/stage_imagis/rapport_maitrise.pdf}},
}
@article{mine-LMCS12,
  author={Min{\'e}, A{.}},
  title={Static analysis of run-time errors in embedded real-time parallel {C} programs},
  journal={Logical Methods in Computer Science (LMCS)},
  year={2012},
  pages={63},
  volume={8},
  issue={1},
  number={26},
  month={Mar{.}},
  publisher={arXiv},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-LMCS12.pdf}},
  doi={10.2168/LMCS-8(1:26)2012},
}
@incollection{mine-LNCS02,
  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},
  booktitle={The Essence of Computation: Complexity, Analysis, Transformation{.} Essays Dedicated to Neil D{.}~Jones},
  year={2002},
  pages={85-108},
  volume={2566},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Oct{.}},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/BlanchetCousotEtAl-LNCS-v2566-p85-108-2002.pdf}},
  doi={10.1007/3-540-36377-7_5},
}
@masterthesis{mine-Master00,
  author={Min{\'e}, A{.}},
  title={Representation of two-variable difference or sum constraint set and application to automatic program analysis},
  school={{\'E}cole normale sup{\'e}rieure},
  year={2000},
  pages={72},
  month={Sep{.}},
  note={\url{http://www-apr.lip6.fr/~mine/publi/report-mine-dea.pdf}},
}
@masterthesis{mine-MasterMonat,
  author={Monat, R{.}},
  title={Static analysis by abstract interpretation collecting types of {P}ython programs},
  school={Parisian Master of Research in Computer Science},
  year={2018},
  pages={41},
  month={Sep{.}},
  note={\url{https://hal.archives-ouvertes.fr/hal-01869049}},
}
@techreport{mine-MLFM21,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={A review of formal methods applied to machine {L}earning},
  institution={Computing Research Repository (arXiv) (CoRR)},
  year={2021},
  month={Apr{.}},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-mlfm2021.pdf}},
}
@inproceedings{mine-MOVEP12,
  author={Min{\'e}, A{.}},
  title={Static analysis by abstract interpretation of sequential and multi-thread programs},
  booktitle={Proc{.}~of the 10th School of Modelling and Verifying Parallel Processes (MOVEP 2012)},
  year={2012},
  pages={35--48},
  month={3--7 Dec{.}},
  location={Marseille, France},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-MOVEP12.pdf}},
}
@inproceedings{mine-NFM18,
  author={Fromherz, A{.} and Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Static value analysis of {P}ython programs by abstract interpretation},
  booktitle={Proc{.}~of 10th NASA Formal Methods Symposium (NFM'18)},
  year={2018},
  pages={185--202},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Apr{.}},
  location={Newport News, USA},
  publisher={Springer},
  note={\url{https://hal.sorbonne-universite.fr/hal-01782390}},
  doi={10.1007/978-3-319-77935-5_14},
}
@techreport{mine-NN20,
  author={Liu, J{.} and Chen, L{.} and Min{\'e}, A{.} and Wang, J{.}},
  title={Input validation for neural networks via runtime local robustness verification},
  institution={Computing Research Repository (arXiv) (CoRR)},
  year={2020},
  month={Apr{.}},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-liu-et-al-2020.pdf}},
}
@proceedings{mine-NSAD10,
  editor={Min{\'e}, A{.} and Rodr{\'i}guez Carbonell, E{.}},
  title={Proc{.} of the 2d International Workshop on Numerical and Symbolic Abstract Domains (NSAD'10)},
  publisher={Elsevier},
  year={2010},
  volume={267},
  series={Electronic Notes in Theoretical Computer Science (ENTCS)},
  issue={1},
  month={Sept{.}},
  location={Perpignan, France},
}
@inproceedings{mine-NSAD12,
  author={Min{\'e}, A{.}},
  title={Inferring sufficient conditions with backward polyhedral under-approximations},
  booktitle={Proc{.}~of the 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD'12)},
  year={2012},
  pages={89--100},
  volume={287},
  series={Electronic Notes in Theoretical Computer Science (ENTCS)},
  month={10 Sept{.}},
  location={Deauville, France},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-nsad12.pdf}},
  doi={10.1016/j.entcs.2012.09.009},
}
@inproceedings{mine-NSAD16,
  author={Min{\'e}, A{.}},
  title={Static analysis of embedded real-time concurrent software with dynamic priorities},
  booktitle={Proc{.}~of the 6th International Workshop on Numerical and Symbolic Abstract Domains (NSAD'16)},
  year={2016},
  pages={3--39},
  series={Electronic Notes in Theoretical Computer Science (ENTCS)},
  month={11 Sept{.}},
  location={Edinburgh, Scotland},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-nsad16.pdf}},
  doi={10.1016/j.entcs.2017.02.002},
}
@inproceedings{mine-NSAD19,
  author={Ziat, G{.} and Mar{\'e}chal, A{.} and Pelleau, M{.} and Min{\'e}, A{.} and Truchet, C{.}},
  title={Combination of boxes and polyhedra abstractions for constraint solving},
  booktitle={Proc{.}~of the 8th International Workshop on Numerical and Symbolic Abstract Domains (NSAD'19)},
  year={2019},
  pages={18},
  number={1906},
  month={8 Oct{.}},
  location={Porto, Portugal},
  publisher={EasyChair Preprints},
  note={\url{http://www-apr.lip6.fr/~mine/publi/preprint-ziat-al-nsad19.pdf}},
}
@inproceedings{mine-NSV20,
  author={Kabi, B{.} and Goubault, {\'E}{.} and Min{\'e}, A{.} and Putot, S{.}},
  title={Combining zonotope abstraction and constraint programming for synthesizing inductive invariants},
  booktitle={Proc{.}~of the 13th International Workshop on Numerical Software Verification (NSV'20)},
  year={2020},
  pages={221--238},
  volume={12549},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jul{.}},
  location={virtual conference},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/bibek-al-nsv-2020.pdf}},
  doi={10.1007/978-3-030-63618-0_14},
}
@inproceedings{mine-PADO01,
  author={Min{\'e}, A{.}},
  title={A new numerical abstract domain based on difference-bound matrices},
  booktitle={Proc{.}~of the Second Symposium on Programs as Data Objects (PADO II)},
  year={2001},
  pages={155-172},
  volume={2053},
  series={Lecture Notes in Computer Science (LNCS)},
  month={May},
  location={Aarhus, Denmark},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-padoII.pdf}},
  doi={10.1007/3-540-44978-7_10},
}
@inproceedings{mine-PERR19,
  author={Delmas, D{.} and Min{\'e}, A{.}},
  title={Analysis of program differences with numerical abstract interpretation},
  booktitle={Proc{.}~of 3rd Workshop on Program Equivalence and Relational Reasoning (PERR19)},
  year={2019},
  pages={1--5},
  month={Apr{.}},
  location={Prague, Czech Republic},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-delmas-mine-PERR19.pdf}},
}
@phdthesis{mine-PhD04,
  author={Min{\'e}, A{.}},
  title={Weakly relational numerical abstract domains},
  school={{\'E}cole Polytechnique},
  year={2004},
  pages={322},
  month={Dec{.}},
  note={\url{http://www-apr.lip6.fr/~mine/these/these-color.pdf}},
}
@phdthesis{mine-PhDDelmas,
  author={Delmas, D{.}},
  title={Static analysis of program portability by abstract interpretation},
  school={Sorbonne Universit{\'e}},
  year={2022},
  pages={268},
  month={Dec{.}},
  note={\url{https://www.di.ens.fr/~delmas/phd/thesis-delmas.pdf}},
}
@phdthesis{mine-PhDJournault,
  author={Journault, M{.}},
  title={Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference},
  school={Sorbonne Universit{\'e}},
  year={2019},
  pages={176},
  month={Nov{.}},
  note={\url{https://www-apr.lip6.fr/~journault/publi/manuscrit.pdf}},
}
@phdthesis{mine-PhDMonat,
  author={Monat, R{.}},
  title={Static type and value analysis by abstract interpretation of {P}ython programs with native {C} libraries},
  school={Sorbonne Universit{\'e}},
  year={2021},
  pages={275},
  month={Nov{.}},
  note={\url{https://rmonat.fr/data/pubs/2021/thesis_monat.pdf}},
}
@inproceedings{mine-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},
  booktitle={Proc{.}~of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'03)},
  year={2003},
  pages={196--207},
  month={Jun{.}},
  location={San Diego, California, USA},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/pldi045-blanchet.pdf}},
  doi={10.1145/781131.781153},
}
@inproceedings{mine-SAE17,
  author={K{\"a}stner, D{.} and Min{\'e}, A{.} and Schmidt, A{.} and Hille, H{.} and Mauborgne, L{.} and Wilhelm, S{.} and Rival, X{.} and Feret, J{.} and Cousot, P{.} and Ferdinand, C{.}},
  title={Finding all potential run-time errors and data races in automotive software},
  booktitle={Proc{.}~of Automotive Software, SAE world Congress (SAE'17)},
  year={2017},
  pages={9},
  series={SAE Technical Paper},
  month={Apr{.}},
  location={Detroit, USA},
  publisher={SAE International},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-kastner-al-sae17.pdf}},
  doi={10.4271/2017-01-0054},
}
@inproceedings{mine-SAS02,
  author={Min{\'e}, A{.}},
  title={A few graph-based relational numerical abstract domains},
  booktitle={Proc{.}~of the 9th International Static Analysis Symposium (SAS'02)},
  year={2002},
  pages={117--132},
  volume={2477},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Madrid, Spain},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-sas02.pdf}},
  doi={10.1007/3-540-45789-5_11},
}
@inproceedings{mine-SAS09,
  author={Chen, L{.} and Min{\'e}, A{.} and Wang, J{.} and Cousot, P{.}},
  title={Interval polyhedra: {A}n abstract domain to infer interval linear relationships},
  booktitle={Proc{.}~of the 16th International Static Analysis Symposium (SAS'09)},
  year={2009},
  pages={309--325},
  volume={5673},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Aug{.}},
  location={Los Angeles, California, USA},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-chen-al-sas09.pdf}},
  doi={10.1007/978-3-642-03237-0_21},
}
@proceedings{mine-SAS12,
  editor={Min{\'e}, A{.} and Schmidt, D{.}},
  title={Proc{.} of the 19th International Static Analysis Symposium (SAS'12)},
  publisher={Springer},
  year={2012},
  volume={7460},
  series={Lecture Notes in Computer Science (LNCS) Advanced Research in Computing and Software Science (ARCoSS)},
  month={Sept{.}},
  location={Deauville, France},
}
@inproceedings{mine-SAS14a,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={A decision tree abstract domain for proving conditional termination},
  booktitle={Proc{.}~of the 21st International Static Analysis Symposium (SAS'14)},
  year={2014},
  pages={302--318},
  volume={8373},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Munich, Germany},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-sas14.pdf}},
  doi={10.1007/978-3-319-10936-7_19},
}
@inproceedings{mine-SAS14b,
  author={Chen, L{.} and Liu, J{.} and Min{\'e}, A{.} and Kapur, D{.} and Wang, J{.}},
  title={An abstract domain to infer octagonal constraints with absolute value},
  booktitle={Proc{.}~of the 21st International Static Analysis Symposium (SAS'14)},
  year={2014},
  pages={101--117},
  volume={8373},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Munich, Germany},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-chen-al-sas14.pdf}},
  doi={10.1007/978-3-319-10936-7_7},
}
@inproceedings{mine-SAS16a,
  author={Suzanne, T{.} and Min{\'e}, A{.}},
  title={From array domains to abstract interpretation under store-buffer-based memory models},
  booktitle={Proc{.}~of the 23st International Static Analysis Symposium (SAS'16)},
  year={2016},
  pages={469--488},
  volume={9837},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Edinburgh, UK},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-suzanne-al-sas16.pdf}},
  doi={10.1007/978-3-662-53413-7_23},
}
@inproceedings{mine-SAS16b,
  author={Journault, M{.} and Min{\'e}, A{.}},
  title={Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs},
  booktitle={Proc{.}~of the 23st International Static Analysis Symposium (SAS'16)},
  year={2016},
  pages={257--277},
  volume={9837},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Edinburgh, UK},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-journault-al-sas16.pdf}},
  doi={10.1007/978-3-662-53413-7_13},
}
@inproceedings{mine-SAS17,
  author={Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Quantitative static analysis of communication protocols using abstract {M}arkov chains},
  booktitle={Proc{.}~of the 24st International Static Analysis Symposium (SAS'17)},
  year={2017},
  pages={277--29},
  volume={10422},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Aug{.}},
  location={New York, USA},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-ouadjaout-mine-sas17.pdf}},
  doi={10.1007/978-3-319-66706-5_14},
}
@inproceedings{mine-SAS18,
  author={Journault, M{.} and Min{\'e}, A{.} and Ouadjaout, A{.}},
  title={Modular static analysis of string manipulations in {C} programs},
  booktitle={Proc{.}~of the 25th International Static Analysis Symposium (SAS'18)},
  year={2018},
  pages={243--262},
  volume={11002},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Sep{.}},
  location={Freiburg im Breisgau, Germany},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-journault-al-sas18.pdf}},
  doi={10.1007/978-3-319-99725-4_16},
}
@inproceedings{mine-SAS19,
  author={Delmas, D{.} and Min{\'e}, A{.}},
  title={Analysis of software patches using numerical abstract interpretation},
  booktitle={Proc{.}~of the 26th International Static Analysis Symposium (SAS'19)},
  year={2019},
  pages={225--246},
  volume={11822},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Oct{.}},
  location={Porto, Portugal},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-delmas-mine-sas19.pdf}},
  doi={10.1007/978-3-030-32304-2_12},
}
@inproceedings{mine-SAS20,
  author={Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={A library modeling language for the static analysis of {C} programs},
  booktitle={Proc{.}~of the 27th International Static Analysis Symposium (SAS'20)},
  year={2020},
  pages={223--246},
  volume={12389},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Nov{.}},
  location={virtual conference},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/ouadjaout-al-sas20.pdf}},
  doi={10.1007/978-3-030-65474-0_11},
}
@inproceedings{mine-SAS21a,
  author={Monat, R{.} and Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={A multilanguage static analysis of {P}ython programs with native {C} extensions},
  booktitle={Proc{.}~of the 28th International Static Analysis Symposium (SAS'21)},
  year={2021},
  pages={323--345},
  volume={12913},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Oct{.}},
  location={Chicago, USA and virtual},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-monat-al-sas21.pdf}},
  doi={10.1007/978-3-030-88806-0_16},
}
@inproceedings{mine-SAS21b,
  author={Delmas, D{.} and Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Static analysis of endian portability by abstract interpretation},
  booktitle={Proc{.}~of the 28th International Static Analysis Symposium (SAS'21)},
  year={2021},
  pages={102--123},
  volume={12913},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Oct{.}},
  location={Chicago, USA and virtual},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-delmas-al-sas21.pdf}},
  doi={10.1007/978-3-030-88806-0_5},
}
@article{mine-SCP13,
  author={Min{\'e}, A{.}},
  title={Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions},
  journal={Science of Computer Programming (SCP)},
  year={2013},
  pages={33},
  month={Oct{.}},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-SCP13.pdf}},
  doi={10.1016/j.scico.2013.09.014},
}
@article{mine-SCP23,
  author={Parolini, F{.} and Min{\'e}, A{.}},
  title={Sound static analysis of regular expressions for vulnerabilities to denial of service attacks (extended version)},
  journal={Science of Computer Programming (SCP)},
  year={2023},
  pages={43},
  month={Jul{.}},
  publisher={Elsevier},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-parolini-al-scp23.pdf}},
  doi={10.1016/j.scico.2023.102960},
}
@inproceedings{mine-SOAP20,
  author={Monat, R{.} and Ouadjaout, A{.} and Min{\'e}, A{.}},
  title={Value and allocation sensitivity in static {P}ython analyses},
  booktitle={Proc{.}~of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'20)},
  year={2020},
  pages={8--13},
  month={Jun{.}},
  location={virtual conference},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-monat-al-soap20.pdf}},
  doi={10.1145/3394451.3397205},
}
@inproceedings{mine-SOAP22,
  author={Bau, G{.} and Min{\'e}, A{.} and Botbol, V{.} and Bouaziz, M{.}},
  title={Abstract interpretation of {M}ichelson smart-contracts},
  booktitle={Proc{.}~of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'22)},
  year={2022},
  pages={36--43},
  month={Jun{.}},
  location={San Diego, California, USA},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-bau-al-soap2022.pdf}},
  doi={10.1145/3520313.3534660},
}
@article{mine-TACO23,
  author={Shah, N{.} R{.} and Misra, A{.} and Min{\'e}, A{.} and Venkat, R{.} and Upadrasta, R{.}},
  title={Scalable and accurate approximation framework for cache miss calculation},
  journal={ACM Transactions on Architecture and Code Optimization (TACO)},
  year={2023},
  pages={1--28},
  volume={20},
  issue={1},
  number={2},
  month={Mar{.}},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/shah-et-al-taco23.pdf}},
  doi={10.1145/3558003},
}
@inproceedings{mine-TAPAS18,
  author={Min{\'e}, A{.} and Ouadjaout, A{.} and Journault, M{.}},
  title={Design of a modular platform for static analysis},
  booktitle={Proc{.}~of 9h Workshop on Tools for Automatic Program Analysis (TAPAS'18)},
  year={2018},
  pages={4},
  series={Lecture Notes in Computer Science (LNCS)},
  month={28 Aug{.}},
  location={Freiburg im Breisgau, Germany},
  note={\url{http://www-apr.lip6.fr/~mine/publi/mine-al-tapas18.pdf}},
}
@inproceedings{mine-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 {A}str{\'e}e},
  booktitle={Proc{.}~of the First IEEE {\&} IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07)},
  year={2007},
  pages={3--20},
  month={Jun{.}},
  location={Shanghai, China},
  publisher={IEEE CS Press},
  note={\url{http://www-apr.lip6.fr/~mine/publi/CousotP-Astree-TASE07.pdf}},
  doi={10.1109/TASE.2007.55},
}
@inproceedings{mine-TASE22,
  author={Parolini, F{.} and Min{\'e}, A{.}},
  title={Sound static analysis of regular expressions for vulnerabilities to denial of service attacks},
  booktitle={Proc{.}~of the 16th International Symposium on Theoretical Aspects of Software Engineering (TASE'22)},
  year={2022},
  pages={73--91},
  volume={13299},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jul{.}},
  location={Cluj-Napoca, Romania},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-parolini-al-tase22.pdf}},
  doi={10.1007/978-3-031-10363-6_6},
}
@article{mine-TECS16,
  author={Wu, W{.} and Chen, L{.} and Min{\'e}, A{.} and Dong, D{.} and Wang, J{.}},
  title={Numerical static analysis of interrupt-driven programs via sequentialization},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  year={2016},
  pages={26},
  volume={15},
  issue={4},
  number={70},
  month={Aug{.}},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-wu-al-tecs16.pdf}},
  doi={10.1145/2914789},
}
@article{mine-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={the 3rd IEEE International Workshop on UML and Formal Methods (UML{\&}FM'10)},
  year={2010},
  pages={1--8},
  volume={36},
  number={1},
  month={Nov{.}},
  location={ACM SIGSOFT Software Engineering Notes, Shanghai, China},
  publisher={ACM},
  note={\url{http://www-apr.lip6.fr/~mine/publi/bertrane-al-umlfm10.pdf}},
  doi={10.1145/1921532.1921553},
}
@inproceedings{mine-VMCAI06,
  author={Min{\'e}, A{.}},
  title={Symbolic methods to enhance the precision of numerical abstract domains},
  booktitle={Proc{.}~of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'06)},
  year={2006},
  pages={348--363},
  volume={3855},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={Charleston, South Carolina, USA},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-VMCAI06.pdf}},
  doi={10.1007/11609773_23},
}
@inproceedings{mine-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 International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10)},
  year={2010},
  pages={112--128},
  volume={5944},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={Madrid, Spain},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-chen-al-vmcai10.pdf}},
  doi={10.1007/978-3-642-11319-2_11},
}
@inproceedings{mine-VMCAI13,
  author={Pelleau, M{.} and Min{\'e}, A{.} and Truchet, C{.} and Benhamou, F{.}},
  title={A constraint solver based on abstract domains},
  booktitle={Proc{.}~of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13)},
  year={2013},
  pages={434--454},
  volume={7737},
  series={Lecture Notes in Computer Science (LNCS)},
  month={20-22 Jan{.}},
  location={Roma, Italy},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-pelleau-vmcai2013.pdf}},
  doi={10.1007/978-3-642-35873-9_26},
}
@inproceedings{mine-VMCAI14,
  author={Min{\'e}, A{.}},
  title={Relational thread-modular static value analysis by abstract interpretation},
  booktitle={Proc{.}~of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)},
  year={2014},
  pages={39-58},
  volume={8318},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={San Diego, California, USA},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-VMCAI14.pdf}},
  doi={10.1007/978-3-642-54013-4_3},
}
@inproceedings{mine-VMCAI15a,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={Proving guarantee and recurrence temporal properties by abstract interpretation},
  booktitle={Proc{.}~of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},
  year={2015},
  pages={190--208},
  volume={8931},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={Mumbai, India},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-vmcai15.pdf}},
  doi={10.1007/978-3-662-46081-8_11},
}
@inproceedings{mine-VMCAI15b,
  author={Min{\'e}, A{.}},
  title={Astr{\'e}e{A}: {A} static analyzer for large embedded multi-task software},
  booktitle={Proc{.}~of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},
  year={2015},
  pages={3},
  volume={8931},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={Mumbai, India},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-vmcai15.pdf}},
}
@inproceedings{mine-VMCAI17,
  author={Monat, R{.} and Min{\'e}, A{.}},
  title={Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions},
  booktitle={Proc{.}~of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'17)},
  year={2017},
  pages={386--404},
  volume={10145},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={Paris, France},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-monat-mine-vmcai17.pdf}},
  doi={10.1007/978-3-319-52234-0_21},
}
@inproceedings{mine-VMCAI24a,
  author={Parolini, F{.} and Min{\'e}, A{.}},
  title={Sound abstract nonexploitability analysis},
  booktitle={Proc{.}~of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'24)},
  year={2024},
  volume={14499},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={London, UK},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-parolini-al-vmcai24.pdf}},
}
@inproceedings{mine-VMCAI24b,
  author={Milanese, M{.} and Min{\'e}, A{.}},
  title={Generation of violation witnesses by under-approximating abstract interpretation},
  booktitle={Proc{.}~of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'24)},
  year={2024},
  volume={14499},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jan{.}},
  location={London, UK},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-milanese-al-vmcai24.pdf}},
}
@inproceedings{mine-VSTTE19,
  author={Journault, M{.} and Min{\'e}, A{.} and Monat, R{.} and Ouadjaout, A{.}},
  title={Combinations of reusable abstract domains for a multilingual static analyzer},
  booktitle={Proc{.}~of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE19)},
  year={2019},
  pages={1--18},
  volume={12031},
  series={Lecture Notes in Computer Science (LNCS)},
  month={Jul{.}},
  location={New York, USA},
  publisher={Springer},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-al-vstte19.pdf}},
  doi={10.1007/978-3-030-41600-3_1},
}
@inproceedings{mine-WING12,
  author={Min{\'e}, A{.}},
  title={Abstract domains for bit-level machine integer and floating-point operations},
  booktitle={Proc{.}~of the 4th International Workshop on Invariant Generation (WING'12)},
  year={2012},
  pages={16},
  number={HW-MACS-TR-0097},
  month={30 Jun{.}},
  location={Manchester, UK},
  publisher={EasyChair Proceedings in Computing},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-wing12.pdf}},
}
@inproceedings{mine-WST14,
  author={Urban, C{.} and Min{\'e}, A{.}},
  title={To {I}nfinity{.}{.}{.} and {B}eyond!},
  booktitle={Proc{.}~of the 14th International Workshop on Termination (WST'14)},
  year={2014},
  pages={85-89},
  month={Jul{.}},
  location={Vienna, Austria},
  publisher={Informal proceedings},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-urban-mine-wst14.pdf}},
}