Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. - Michael Codish; Dennis Dams; Eyal Yardeni (ICLP, 1991)

Generation of Reduced Models for Checking Fragments of CTL. - Dennis Dams; Orna Grumberg; Rob Gerth (CAV, 1993)

Freeness Analysis for Logic Programs - And Correctness? - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (ICLP, 1993)

Model Checking Using Adaptive State and Data Abstraction. - Dennis Dams; Rob Gerth; Gert Döhmen; Ronald Herrmann; Peter Kelb; Hergen Pargmann (CAV, 1994)

Bottom-up Abstract Interpretation of Logic Programs. - Michael Codish; Dennis Dams; Eyal Yardeni (Theor. Comput. Sci., 1994)

On the Design of a Correct Freeness Analysis for Logic Programs. - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (J. Log. Program., 1996)

Verification, Model Checking and Abstract Interpretation (Workshop Overview). - Annalisa Bossi; Dennis Dams; Gilberto Filé; Elena Marchiori (ILPS, 1997)

The bounded retransmission protocol revisited. - Dennis Dams; Rob Gerth (INFINITY, 1997)

Abstract Interpretation of Reactive Systems. - Dennis Dams; Rob Gerth; Orna Grumberg (ACM Trans. Program. Lang. Syst., 1997)

Integrating Real Time into Spin: A Prototype Implementation. - Dragan Bosnacki; Dennis Dams (FORTE, 1998)

Discrete-Time Promela and Spin. - Dragan Bosnacki; Dennis Dams (FTRTFT, 1998)

Partial-order Reduction Techniques for Real-time Model Checking. - Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 001 (Formal Aspects Comput., 1998)

Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers. - Dennis Dams (Log. J. IGPL, 1999)

An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. - Marc Geilen; Dennis Dams (FTRTFT, 2000)

Model Checking SDL with Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski; Natalia Sidorova (TACAS, 2000)

A Heuristic for Symmetry Reductions with Scalarsets. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (FME, 2001)

Abstracting C with abC. - Dennis Dams; William Hesse; Gerard J. Holzmann (CAV, 2002)

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). - Dennis Dams (SPIN, 2002)

Iterating transducers. - Dennis Dams; Yassine Lakhnech; Martin Steffen (J. Log. Algebraic Methods Program., 2002)

Symmetric Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (Int. J. Softw. Tools Technol. Transf., 2002)

Shape Analysis through Predicate Abstraction and Model Checking. - Dennis Dams; Kedar S. Namjoshi (VMCAI, 2003)

Comparing Abstraction Refinement Algorithms. - Dennis Dams (SoftMC@CAV, 2003)

The Existence of Finite Abstractions for Branching Time Model Checking. - Dennis Dams; Kedar S. Namjoshi (LICS, 2004)

Incremental Algorithms for Inter-procedural Analysis of Safety Properties. - Christopher L. Conway; Kedar S. Namjoshi; Dennis Dams; Stephen A. Edwards (CAV, 2005)

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. - Dennis Dams; Kedar S. Namjoshi (FMCO, 2005)

Automata as Abstractions. - Dennis Dams; Kedar S. Namjoshi (VMCAI, 2005)

StackSnuffer: Curing Orion's Unsoundness. - Dennis Dams (SPIN, 2007)

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. - Christopher L. Conway; Dennis Dams; Kedar S. Namjoshi; Clark W. Barrett (SAS, 2008)

Telco meets the Web: Programming shared-experience services. - Robert M. Arlein; Dennis Dams; Richard B. Hull; John P. Letourneau; Kedar S. Namjoshi (Bell Labs Tech. J., 2009)

A Bibliography of Willem-Paul de Roever. - Dennis Dams; Ulrich Hannemann; Martin Steffen (Concurrency, Compositionality, and Correctness, 2010)

Special issue: 2nd World Congress on Formal Methods. - Ana Cavalcanti 001; Dennis Dams (Formal Methods Syst. Des., 2010)

Editorial. - Ana Cavalcanti 001; Dennis Dams; Marie-Claude Gaudel (Formal Aspects Comput., 2011)

PresenceScape: Virtual World Mediated Rich Communication. - Zhe Lou; Jan Bouwen; Koen Willaert; Sigurd Van Broeck; Marc Van den Broeck; Senka Zubic; Wolfgang van Raemdonck; Hans Van Herreweghe; Dennis Dams (Bell Labs Tech. J., 2012)

Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code. - Dennis Dams; Arjan J. Mooij; Pepijn Kramer; Andrei Radulescu; Jaromir Vanhara (SANER, 2018)

Abstraction and Abstraction Refinement. - Dennis Dams; Orna Grumberg (Handbook of Model Checking, 2018)

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. - Dennis Dams; Jeroen Ketema; Pepijn Kramer; Arjan J. Mooij; Andrei Radulescu (BENEVOL, 2021)

Runtime Verification as Documentation. - Dennis Dams; Klaus Havelund; Sean Kauffman (ISoLA (2), 2022)

A Python Library for Trace Analysis. - Dennis Dams; Klaus Havelund; Sean Kauffman (RV, 2022)

Encoding Domain Knowledge in Log Analysis. - Filip Zamfirov; Dennis Dams; Mazyar Seraj; Alexander Serebrenik (ICSME, 2024)