Dennis Dams

Available identifiers

Publication	Date of Publication	Type
Abstraction and abstraction refinement	2018-07-20	Paper
Comparing abstraction refinement algorithms	2013-08-30	Paper
A Bibliography of Willem-Paul de Roever	2010-03-09	Paper
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors	2008-08-28	Paper
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs	2007-09-11	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4738463	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414398	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804921	2003-05-01	Paper
Iterating transducers	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4551159	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2766661	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2764000	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2753747	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q2729079	2001-11-06	Paper
Partial-order reduction techniques for real-time model checking	2001-01-14	Paper
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers	1999-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4223066	1999-01-03	Paper
On the design of a correct freeness analysis for logic programs	1997-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4884237	1996-07-08	Paper
Bottom-up abstract interpretation of logic programs	1994-04-05	Paper

This page was built for person: Dennis Dams