| Publication | Date of Publication | Type |
|---|
The complexity gap in the static analysis of cache accesses grows if procedure calls are added
Formal Methods in System Design | 2023-06-29 | Paper |
Extending constraint-only representation of polyhedra with Boolean constraints
Static Analysis | 2023-05-26 | Paper |
Ascertaining uncertainty for efficient exact cache analysis
(available as arXiv preprint) | 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
Journal of the ACM | 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
Static Analysis | 2019-09-16 | Paper |
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
Static Analysis | 2019-09-16 | Paper |
On the decidability of the existence of polyhedral invariants in transition systems
Acta Informatica | 2019-05-21 | Paper |
| Cell morphing: from array programs to array-free Horn clauses | 2018-08-27 | Paper |
A survey of satisfiability modulo theory
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Polyhedral approximation of multivariate polynomials using Handelman's theorem
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Program analysis with local policy iteration
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Automatic modular abstractions for linear constraints
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Implementing and reasoning about hash-consed data structures in Coq
Journal of Automated Reasoning | 2015-06-23 | Paper |
An abstract Monte-Carlo method for the analysis of probabilistic programs
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Stratified static analysis based on variable dependencies
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Implementing hash-consed structures in Coq
Interactive Theorem Proving | 2013-08-07 | Paper |
| Introduction to computability | 2013-01-02 | Paper |
Invariant generation through strategy iteration in succinctly represented control flow graphs
Logical Methods in Computer Science | 2012-10-22 | Paper |
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
Interactive Theorem Proving | 2011-08-17 | Paper |
Improving strategies via SMT solving
Programming Languages and Systems | 2011-05-19 | Paper |
Automatic modular abstractions for template numerical constraints
Logical Methods in Computer Science | 2010-07-27 | Paper |
A minimalistic look at widening operators
Higher-Order and Symbolic Computation | 2010-03-05 | Paper |
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
Computer Aided Verification | 2009-06-30 | Paper |
Optimal Abstraction on Real-Valued Programs
Static Analysis | 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
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Abstract interpretation of programs as Markov decision processes
Science of Computer Programming | 2005-10-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 2090849 (Why is no real title available?) | 2004-08-13 | Paper |
Abstracting cryptographic protocols with tree automata.
Science of Computer Programming | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1953274 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1953029 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1832220 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1692951 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1617330 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1487854 (Why is no real title available?) | 2000-12-11 | Paper |
