| 2022 | ISoLA | Runtime Verification as Documentation. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2022 | RV | A Python Library for Trace Analysis. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2008 | SAS | Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
| 2005 | CAV | Incremental Algorithms for Inter-procedural Analysis of Safety Properties. | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
| 2005 | VMCAI | Automata as Abstractions. | Dennis Dams, Kedar S. Namjoshi |
| 2004 | LICS | The Existence of Finite Abstractions for Branching Time Model Checking. | Dennis Dams, Kedar S. Namjoshi |
| 2003 | VMCAI | Shape Analysis through Predicate Abstraction and Model Checking. | Dennis Dams, Kedar S. Namjoshi |
| 2002 | CAV | Abstracting C with abC. | Dennis Dams, William Hesse, Gerard J. Holzmann |
| 2001 | CAV | Iterating Transducers. | Dennis Dams, Yassine Lakhnech, Martin Steffen |
| 2001 | FM | A Heuristic for Symmetry Reductions with Scalarsets. | Dragan Bosnacki, Dennis Dams, Leszek Holenderski |
| 2000 | TACAS | Model Checking SDL with Spin. | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova |
| 1998 | FORTE | Integrating Real Time into Spin: A Prototype Implementation. | Dragan Bosnacki, Dennis Dams |
| 1994 | CAV | Model Checking Using Adaptive State and Data Abstraction. | Dennis Dams, Rob Gerth, Gert Dhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann |
| 1993 | CAV | Generation of Reduced Models for Checking Fragments of CTL. | Dennis Dams, Orna Grumberg, Rob Gerth |
| 1993 | ICLP | Freeness Analysis for Logic Programs - And Correctness? | Michael Codish, Dennis Dams, Gilberto Fil, Maurice Bruynooghe |
| 1991 | ICLP | Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. | Michael Codish, Dennis Dams, Eyal Yardeni |