Dennis Dams

According to our database, Dennis Dams authored at least 38 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A Python Library for Trace Analysis.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification as Documentation.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases.

Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu

Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop, 2021

2018

Abstraction and Abstraction Refinement.

Dennis Dams, Orna Grumberg

Proceedings of the Handbook of Model Checking., 2018

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

Proceedings of the 25th International Conference on Software Analysis, 2018

2012

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

2011

Editorial.

Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel

Formal Aspects Comput., 2011

2010

Special issue: 2nd World Congress on Formal Methods.

Ana Cavalcanti, Dennis Dams

Formal Methods Syst. Des., 2010

A Bibliography of Willem-Paul de Roever.

Dennis Dams, Ulrich Hannemann, Martin Steffen

Proceedings of the Concurrency, 2010

2009

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

2008

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

StackSnuffer: Curing Orion's Unsoundness.

Dennis Dams

Proceedings of the Model Checking Software, 2007

2005

Automata as Abstractions.

Dennis Dams, Kedar S. Namjoshi

Proceedings of the Verification, 2005

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.

Dennis Dams, Kedar S. Namjoshi

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Incremental Algorithms for Inter-procedural Analysis of Safety Properties.

Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

The Existence of Finite Abstractions for Branching Time Model Checking.

Dennis Dams, Kedar S. Namjoshi

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003

Comparing Abstraction Refinement Algorithms.

Dennis Dams

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Shape Analysis through Predicate Abstraction and Model Checking.

Dennis Dams, Kedar S. Namjoshi

Proceedings of the Verification, 2003

2002

Symmetric Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Int. J. Softw. Tools Technol. Transf., 2002

Iterating transducers.

Dennis Dams, Yassine Lakhnech, Martin Steffen

J. Log. Algebraic Methods Program., 2002

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).

Dennis Dams

Proceedings of the Model Checking of Software, 2002

Abstracting C with abC.

Dennis Dams, William Hesse, Gerard J. Holzmann

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

A Heuristic for Symmetry Reductions with Scalarsets.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Model Checking SDL with Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.

Marc Geilen, Dennis Dams

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Flat Fragments of CTL and CTL^*: Separating the Expressive and Distinguishing Powers.

Dennis Dams

Log. J. IGPL, 1999

1998

Partial-order Reduction Techniques for Real-time Model Checking.

Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper

Formal Aspects Comput., 1998

Discrete-Time Promela and Spin.

Dragan Bosnacki, Dennis Dams

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Integrating Real Time into Spin: A Prototype Implementation.

Dragan Bosnacki, Dennis Dams

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Abstract Interpretation of Reactive Systems.

Dennis Dams, Rob Gerth, Orna Grumberg

ACM Trans. Program. Lang. Syst., 1997

The bounded retransmission protocol revisited.

Dennis Dams, Rob Gerth

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

Verification, Model Checking and Abstract Interpretation (Workshop Overview).

Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori

Proceedings of the Logic Programming, 1997

1996

On the Design of a Correct Freeness Analysis for Logic Programs.

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe

J. Log. Program., 1996

1994

Bottom-up Abstract Interpretation of Logic Programs.

Michael Codish, Dennis Dams, Eyal Yardeni

Theor. Comput. Sci., 1994

Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Freeness Analysis for Logic Programs - And Correctness?

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe

Proceedings of the Logic Programming, 1993

Generation of Reduced Models for Checking Fragments of CTL.

Dennis Dams, Orna Grumberg, Rob Gerth

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish, Dennis Dams, Eyal Yardeni

Proceedings of the Logic Programming, 1991