| Publication | Date of Publication | Type |
|---|
| Automatic detection of vulnerable variables for CTL properties of programs | 2025-02-19 | Paper |
| Analysis of software patches using numerical abstract interpretation | 2024-04-19 | Paper |
An abstract domain for trees with numeric relations
Programming Languages and Systems | 2023-11-24 | Paper |
Relational thread-modular abstract interpretation under relaxed memory models
Programming Languages and Systems | 2023-08-02 | Paper |
Quantitative static analysis of communication protocols using abstract Markov chains
Static Analysis | 2019-09-16 | Paper |
Quantitative static analysis of communication protocols using abstract Markov chains
Formal Methods in System Design | 2019-09-04 | Paper |
Inferring functional properties of matrix manipulating programs by abstract interpretation
Formal Methods in System Design | 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
Computer Languages, Systems & Structures | 2018-01-30 | Paper |
Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Proving guarantee and recurrence temporal properties by abstract interpretation
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Relational thread-modular static value analysis by abstract interpretation
Lecture Notes in Computer Science | 2015-01-13 | Paper |
A constraint solver based on abstract domains
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Inferring sufficient conditions with backward polyhedral under-approximations
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
An abstract domain to infer ordinal-valued ranking functions
Programming Languages and Systems | 2014-04-16 | Paper |
Static analysis of run-time errors in embedded real-time parallel C programs
Logical Methods in Computer Science | 2012-04-03 | Paper |
Static analysis of run-time errors in embedded critical parallel C programs
Programming Languages and Systems | 2011-05-19 | Paper |
Linear absolute value relation analysis
Programming Languages and Systems | 2011-05-19 | Paper |
Why does Astrée scale up?
Formal Methods in System Design | 2010-02-05 | Paper |
An abstract domain to discover interval linear equalities
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Static Analysis | 2009-08-18 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
The octagon abstract domain
Higher-Order and Symbolic Computation | 2006-11-17 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 1953274 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1948392 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1738295 (Why is no real title available?) | 2002-05-06 | Paper |
