| Publication | Date of Publication | Type |
|---|
Abstraction and abstraction refinement
Handbook of Model Checking | 2018-07-20 | Paper |
| Comparing abstraction refinement algorithms | 2013-08-30 | Paper |
A Bibliography of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
Static Analysis | 2008-08-28 | Paper |
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2087619 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1953039 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1903376 (Why is no real title available?) | 2003-05-01 | Paper |
Iterating transducers
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
| scientific article; zbMATH DE number 1796140 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1696514 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1693448 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1670549 (Why is no real title available?) | 2002-01-06 | Paper |
| scientific article; zbMATH DE number 1629963 (Why is no real title available?) | 2001-11-06 | Paper |
Partial-order reduction techniques for real-time model checking
Formal Aspects of Computing | 2001-01-14 | Paper |
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
Logic Journal of the IGPL | 1999-05-05 | Paper |
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
Logic Journal of the IGPL | 1999-05-05 | Paper |
| scientific article; zbMATH DE number 1232240 (Why is no real title available?) | 1999-01-03 | Paper |
On the design of a correct freeness analysis for logic programs
The Journal of Logic Programming | 1997-04-27 | Paper |
On the design of a correct freeness analysis for logic programs
The Journal of Logic Programming | 1997-04-27 | Paper |
| scientific article; zbMATH DE number 898449 (Why is no real title available?) | 1996-07-08 | Paper |
Bottom-up abstract interpretation of logic programs
Theoretical Computer Science | 1994-04-05 | Paper |
