Antoine Miné

From MaRDI portal
Person:681348

Available identifiers

zbMath Open mine.antoineMaRDI QIDQ681348

List of research outcomes





PublicationDate of PublicationType
Analysis of software patches using numerical abstract interpretation2024-04-19Paper
An abstract domain for trees with numeric relations2023-11-24Paper
Relational thread-modular abstract interpretation under relaxed memory models2023-08-02Paper
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains2019-09-16Paper
Quantitative static analysis of communication protocols using abstract Markov chains2019-09-04Paper
Inferring functional properties of matrix manipulating programs by abstract interpretation2018-10-04Paper
Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs2018-08-27Paper
Static analysis of embedded real-time concurrent software with dynamic priorities2018-07-16Paper
Inference of ranking functions for proving temporal properties by abstract interpretation2018-01-30Paper
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions2017-02-21Paper
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation2015-02-04Paper
Relational Thread-Modular Static Value Analysis by Abstract Interpretation2015-01-13Paper
A Constraint Solver Based on Abstract Domains2014-11-03Paper
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations2014-07-22Paper
An Abstract Domain to Infer Ordinal-Valued Ranking Functions2014-04-16Paper
Static analysis of run-time errors in embedded real-time parallel C programs2012-04-03Paper
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs2011-05-19Paper
Linear Absolute Value Relation Analysis2011-05-19Paper
Why does Astrée scale up?2010-02-05Paper
An Abstract Domain to Discover Interval Linear Equalities2010-01-14Paper
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships2009-08-18Paper
Programming Languages and Systems2007-09-28Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
The octagon abstract domain2006-11-17Paper
Programming Languages and Systems2005-09-13Paper
https://portal.mardi4nfdi.de/entity/Q44147262003-07-27Paper
https://portal.mardi4nfdi.de/entity/Q44119542003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q45297772002-05-06Paper

Research outcomes over time

This page was built for person: Antoine Miné