Antoine Miné

Available identifiers

zbMath Open mine.antoineMaRDI QIDQ681348

List of research outcomes

Publication	Date of Publication	Type
Analysis of software patches using numerical abstract interpretation	2024-04-19	Paper
An abstract domain for trees with numeric relations	2023-11-24	Paper
Relational thread-modular abstract interpretation under relaxed memory models	2023-08-02	Paper
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains	2019-09-16	Paper
Quantitative static analysis of communication protocols using abstract Markov chains	2019-09-04	Paper
Inferring functional properties of matrix manipulating programs by abstract interpretation	2018-10-04	Paper
Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs	2018-08-27	Paper
Static analysis of embedded real-time concurrent software with dynamic priorities	2018-07-16	Paper
Inference of ranking functions for proving temporal properties by abstract interpretation	2018-01-30	Paper
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions	2017-02-21	Paper
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation	2015-02-04	Paper
Relational Thread-Modular Static Value Analysis by Abstract Interpretation	2015-01-13	Paper
A Constraint Solver Based on Abstract Domains	2014-11-03	Paper
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations	2014-07-22	Paper
An Abstract Domain to Infer Ordinal-Valued Ranking Functions	2014-04-16	Paper
Static analysis of run-time errors in embedded real-time parallel C programs	2012-04-03	Paper
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs	2011-05-19	Paper
Linear Absolute Value Relation Analysis	2011-05-19	Paper
Why does Astrée scale up?	2010-02-05	Paper
An Abstract Domain to Discover Interval Linear Equalities	2010-01-14	Paper
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships	2009-08-18	Paper
Programming Languages and Systems	2007-09-28	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
The octagon abstract domain	2006-11-17	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411954	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4529777	2002-05-06	Paper

Research outcomes over time

This page was built for person: Antoine Miné