default search action
Antoine Miné
Person information
- affiliation: Sorbonne University, LIP6, Paris, France
- affiliation (PhD 2004): ENS Paris, Department of Computer Science, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c55]Naïm Moussaoui Remil, Caterina Urban, Antoine Miné:
Automatic Detection of Vulnerable Variables for CTL Properties of Programs. LPAR 2024: 116-126 - [c54]Raphaël Monat
, Marco Milanese
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). TACAS (3) 2024: 387-392 - [c53]Marco Milanese
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. VMCAI (1) 2024: 50-73 - [c52]Francesco Parolini
Sound Abstract Nonexploitability Analysis. VMCAI (2) 2024: 314-337 - [i12]Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
Easing Maintenance of Academic Static Analyzers. CoRR abs/2407.12499 (2024) - 2023
- [j16]Francesco Parolini
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. Sci. Comput. Program. 229: 102960 (2023) - [j15]Nilesh Rajendra Shah
BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation. ACM Trans. Archit. Code Optim. 20(1): 2:1-2:28 (2023) - [c51]Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang:
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion 2023: 237-246 - [c50]Raphaël Monat
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). TACAS (2) 2023: 565-570 - [i11]Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi:
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports 13(7): 66-95 (2023) - 2022
- [c49]Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz:
Abstract interpretation of Michelson smart-contracts. SOAP@PLDI 2022: 36-43 - [c48]Francesco Parolini
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. TASE 2022: 73-91 - [i10]Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz:
Abstract interpretation of Michelson smart-contracts. CoRR abs/2210.05217 (2022) - 2021
- [c47]David Delmas
Static Analysis of Endian Portability by Abstract Interpretation. SAS 2021: 102-123 - [c46]Raphaël Monat
A Multilanguage Static Analysis of Python Programs with Native C Extensions. SAS 2021: 323-345 - [i9]Caterina Urban, Antoine Miné:
A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466 (2021) - 2020
- [j14]Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). Dagstuhl Artifacts Ser. 6(2): 11:1-11:6 (2020) - [c45]Raphaël Monat
Static Type Analysis by Abstract Interpretation of Python Programs. ECOOP 2020: 17:1-17:29 - [c44]Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
Value and allocation sensitivity in static Python analyses. SOAP@PLDI 2020: 8-13 - [c43]Abdelraouf Ouadjaout, Antoine Miné:
A Library Modeling Language for the Static Analysis of C Programs. SAS 2020: 223-247 - [c42]Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE 2020: 221-238 - [i8]Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang:
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR abs/2002.03339 (2020)
2010 – 2019
- 2019
- [j13]Abdelraouf Ouadjaout
Quantitative static analysis of communication protocols using abstract Markov chains. Formal Methods Syst. Des. 54(1): 64-109 (2019) - [c41]Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout:
An Abstract Domain for Trees with Numeric Relations. ESOP 2019: 724-751 - [c40]Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet:
Combination of Boxes and Polyhedra Abstractions for Constraint Solving. FM Workshops (2) 2019: 119-135 - [c39]David Delmas, Antoine Miné:
Analysis of Software Patches Using Numerical Abstract Interpretation. SAS 2019: 225-246 - [c38]Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout:
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. VSTTE 2019: 1-18 - 2018
- [j12]Matthieu Journault, Antoine Miné:
Inferring functional properties of matrix manipulating programs by abstract interpretation. Formal Methods Syst. Des. 53(2): 221-258 (2018) - [c37]Thibault Suzanne, Antoine Miné:
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. APLAS 2018: 109-128 - [c36]Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné:
Finding Solutions by Finding Inconsistencies. CP 2018: 420-435 - [c35]Aymeric Fromherz, Abdelraouf Ouadjaout
Static Value Analysis of Python Programs by Abstract Interpretation. NFM 2018: 185-202 - [c34]Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Modular Static Analysis of String Manipulations in C Programs. SAS 2018: 243-262 - 2017
- [j11]Caterina Urban
Inference of ranking functions for proving temporal properties by abstract interpretation. Comput. Lang. Syst. Struct. 47: 77-103 (2017) - [j10]Antoine Miné:
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Found. Trends Program. Lang. 4(3-4): 120-372 (2017) - [c33]Abdelraouf Ouadjaout
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. SAS 2017: 277-298 - [c32]Raphaël Monat, Antoine Miné:
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. VMCAI 2017: 386-404 - 2016
- [j9]Abdelraouf Ouadjaout
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS. J. Syst. Softw. 120: 114-132 (2016) - [j8]Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang:
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15(4): 70:1-70:26 (2016) - [c31]Antoine Miné, Jason Breck, Thomas W. Reps:
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ESOP 2016: 560-588 - [c30]Matthieu Journault, Antoine Miné:
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. SAS 2016: 257-277 - [c29]Thibault Suzanne, Antoine Miné:
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. SAS 2016: 469-488 - [c28]Antoine Miné:
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. NSAD@SAS 2016: 3-39 - 2015
- [j7]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2(2-3): 71-190 (2015) - [c27]Antoine Miné, David Delmas:
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. EMSOFT 2015: 65-74 - [c26]Caterina Urban
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. VMCAI 2015: 190-208 - 2014
- [j6]Antoine Miné
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions. Sci. Comput. Program. 93: 154-182 (2014) - [c25]Caterina Urban
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. ESOP 2014: 412-431 - [c24]Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang:
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS 2014: 101-117 - [c23]Caterina Urban
A Decision Tree Abstract Domain for Proving Conditional Termination. SAS 2014: 302-318 - [c22]Antoine Miné:
Relational Thread-Modular Static Value Analysis by Abstract Interpretation. VMCAI 2014: 39-58 - 2013
- [b2]Antoine Miné:
Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents). École Normale Supérieure, Paris, France, 2013 - [c21]Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou:
A Constraint Solver Based on Abstract Domains. VMCAI 2013: 434-454 - 2012
- [j5]Antoine Miné:
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs. Log. Methods Comput. Sci. 8(1) (2012) - [c20]Antoine Miné:
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations. ATx/WInG@IJCAR 2012: 55-70 - [c19]Antoine Miné:
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations. NSAD@SAS 2012: 89-100 - [e2]Antoine Miné, David Schmidt:
Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7460, Springer 2012, ISBN 978-3-642-33124-4 [contents] - 2011
- [j4]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c18]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 - [c17]Antoine Miné:
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. ESOP 2011: 398-418 - 2010
- [c16]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128 - [c15]Antoine Miné, Enric Rodríguez-Carbonell:
Preface. NSAD@SAS 2010: 1-2 - [e1]Antoine Miné, Enric Rodríguez-Carbonell:
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j3]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? Formal Methods Syst. Des. 35(3): 229-264 (2009) - [j2]Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - [c14]Bertrand Jeannet, Antoine Miné:
Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667 - [c13]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 - 2008
- [c12]Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18 - 2007
- [c11]Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - [i7]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. CoRR abs/cs/0701193 (2007) - [i6]Antoine Miné:
A New Numerical Abstract Domain Based on Difference-Bound Matrices. CoRR abs/cs/0703073 (2007) - [i5]Antoine Miné:
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics. CoRR abs/cs/0703074 (2007) - [i4]Antoine Miné:
A Few Graph-Based Relational Numerical Abstract Domains. CoRR abs/cs/0703075 (2007) - [i3]Antoine Miné:
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. CoRR abs/cs/0703076 (2007) - [i2]Antoine Miné:
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. CoRR abs/cs/0703077 (2007) - [i1]Antoine Miné:
The Octagon Abstract Domain. CoRR abs/cs/0703084 (2007) - 2006
- [j1]Antoine Miné:
The octagon abstract domain. High. Order Symb. Comput. 19(1): 31-100 (2006) - [c10]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 - [c9]Antoine Miné:
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. LCTES 2006: 54-63 - [c8]Antoine Miné:
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. VMCAI 2006: 348-363 - 2005
- [c7]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
The ASTREÉ Analyzer. ESOP 2005: 21-30 - 2004
- [b1]Antoine Miné:
Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels). École Polytechnique, Palaiseau, France, 2004 - [c6]Antoine Miné:
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. ESOP 2004: 3-17 - 2003
- [c5]Bruno Blanchet
A static analyzer for large safety-critical software. PLDI 2003: 196-207 - 2002
- [c4]Bruno Blanchet
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108 - [c3]Antoine Miné:
A Few Graph-Based Relational Numerical Abstract Domains. SAS 2002: 117-132 - 2001
- [c2]Antoine Miné:
A New Numerical Abstract Domain Based on Difference-Bound Matrices. PADO 2001: 155-172 - [c1]Antoine Miné:
The Octagon Abstract Domain. WCRE 2001: 310-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 20:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: