Dennis Dams

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 4

Top Topics

Static Analysis

Abstract Interpretation

Legacy Software

Top Venues

Publications

Dennis Dams, Klaus Havelund, Sean Kauffman
A Python Library for Trace Analysis. RV (2022)
Dennis Dams, Klaus Havelund, Sean Kauffman
Runtime Verification as Documentation. ISoLA (2) (2022)
Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. BENEVOL (2021)
Dennis Dams, Arjan J. Mooij, Pepijn Kramer, Andrei Radulescu, Jaromir Vanhara
Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code. SANER (2018)
Zhe Lou, Jan Bouwen, Koen Willaert, Sigurd Van Broeck, Marc Van den Broeck, Senka Zubic, Wolfgang van Raemdonck, Hans Van Herreweghe, Dennis Dams
PresenceScape: Virtual World Mediated Rich Communication. Bell Labs Tech. J. 16 (4) (2012)
Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel
Editorial. Formal Aspects Comput. 23 (6) (2011)
Ana Cavalcanti, Dennis Dams
Special issue: 2nd World Congress on Formal Methods. Formal Methods Syst. Des. 37 (2-3) (2010)
Dennis Dams, Ulrich Hannemann, Martin Steffen
A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness (2010)
Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi
Telco meets the Web: Programming shared-experience services. Bell Labs Tech. J. 14 (3) (2009)
Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS (2008)
Dennis Dams
StackSnuffer: Curing Orion's Unsoundness. SPIN (2007)
Dennis Dams, Kedar S. Namjoshi
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO (2005)
Dennis Dams, Kedar S. Namjoshi
Automata as Abstractions. VMCAI (2005)
Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV (2005)
Dennis Dams, Kedar S. Namjoshi
The Existence of Finite Abstractions for Branching Time Model Checking. LICS (2004)
Dennis Dams
Comparing Abstraction Refinement Algorithms. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Dennis Dams, Kedar S. Namjoshi
Shape Analysis through Predicate Abstraction and Model Checking. VMCAI (2003)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
Symmetric Spin. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Dennis Dams
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). SPIN (2002)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating transducers. J. Log. Algebraic Methods Program. (2002)
Dennis Dams, William Hesse, Gerard J. Holzmann
Abstracting C with abC. CAV (2002)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating Transducers. CAV (2001)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
A Heuristic for Symmetry Reductions with Scalarsets. FME (2001)
Marc Geilen, Dennis Dams
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT (2000)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
Symmetric Spin. SPIN (2000)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
Model Checking SDL with Spin. TACAS (2000)
Dennis Dams
: Separating the Expressive and Distinguishing Powers. Log. J. IGPL 7 (1) (1999)
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. 10 (5-6) (1998)
Dragan Bosnacki, Dennis Dams
Integrating Real Time into Spin: A Prototype Implementation. FORTE (1998)
Dragan Bosnacki, Dennis Dams
Discrete-Time Promela and Spin. FTRTFT (1998)
Dennis Dams, Rob Gerth
The bounded retransmission protocol revisited. INFINITY (1997)
Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori
Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS (1997)
Dennis Dams, Rob Gerth, Orna Grumberg
Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19 (2) (1997)
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
On the Design of a Correct Freeness Analysis for Logic Programs. J. Log. Program. 28 (3) (1996)
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. CAV (1994)
Michael Codish, Dennis Dams, Eyal Yardeni
Bottom-up Abstract Interpretation of Logic Programs. Theor. Comput. Sci. 124 (1) (1994)
Dennis Dams, Orna Grumberg, Rob Gerth
Generation of Reduced Models for Checking Fragments of CTL. CAV (1993)
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
Freeness Analysis for Logic Programs - And Correctness? ICLP (1993)
Michael Codish, Dennis Dams, Eyal Yardeni
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. ICLP (1991)