David Monniaux

Available identifiers

zbMath Open monniaux.david-pMaRDI QIDQ848743

List of research outcomes

Publication	Date of Publication	Type
The complexity gap in the static analysis of cache accesses grows if procedure calls are added	2023-06-29	Paper
Extending constraint-only representation of polyhedra with Boolean constraints	2023-05-26	Paper
Ascertaining uncertainty for efficient exact cache analysis	2022-08-12	Paper
Data abstraction: a general framework to handle program verification of data structures	2022-06-17	Paper
On the Complexity of Cache Analysis for Different Replacement Policies	2020-02-11	Paper
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection	2019-11-18	Paper
Combining Forward and Backward Abstract Interpretation of Horn Clauses	2019-09-16	Paper
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming	2019-09-16	Paper
On the decidability of the existence of polyhedral invariants in transition systems	2019-05-21	Paper
Cell morphing: from array programs to array-free Horn clauses	2018-08-27	Paper
A Survey of Satisfiability Modulo Theory	2016-11-09	Paper
Program Analysis with Local Policy Iteration	2016-03-23	Paper
Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem	2016-03-23	Paper
Automatic modular abstractions for linear constraints	2015-07-03	Paper
Implementing and reasoning about hash-consed data structures in Coq	2015-06-23	Paper
An abstract Monte-Carlo method for the analysis of probabilistic programs	2015-03-17	Paper
Stratified Static Analysis Based on Variable Dependencies	2014-07-22	Paper
Implementing Hash-Consed Structures in Coq	2013-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4898674	2013-01-02	Paper
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs	2012-10-22	Paper
On the Generation of Positivstellensatz Witnesses in Degenerate Cases	2011-08-17	Paper
Improving Strategies via SMT Solving	2011-05-19	Paper
Automatic Modular Abstractions for Template Numerical Constraints	2010-07-27	Paper
A minimalistic look at widening operators	2010-03-05	Paper
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure	2009-06-30	Paper
Optimal Abstraction on Real-Valued Programs	2009-03-03	Paper
Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities	2009-01-30	Paper
A Quantifier Elimination Algorithm for Linear Real Arithmetic	2009-01-27	Paper
Programming Languages and Systems	2006-10-20	Paper
Computer Aided Verification	2006-01-10	Paper
Abstract interpretation of programs as Markov decision processes	2005-10-10	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813401	2004-08-13	Paper
Abstracting cryptographic protocols with tree automata.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4414387	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778698	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2763684	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2722069	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4494379	2000-12-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Monniaux