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é