Dennis Dams

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
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
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

Research outcomes over time

This page was built for person: Dennis Dams