Dennis Dams

According to our database1, Dennis Dams authored at least 35 papers between 1991 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Abstraction and Abstraction Refinement.
Proceedings of the Handbook of Model Checking., 2018

Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code.
Proceedings of the 25th International Conference on Software Analysis, 2018

2012
PresenceScape: Virtual World Mediated Rich Communication.
Bell Labs Tech. J., 2012

2011
Editorial.
Formal Asp. Comput., 2011

2010
Special issue: 2nd World Congress on Formal Methods.
Formal Methods Syst. Des., 2010

A Bibliography of Willem-Paul de Roever.
Proceedings of the Concurrency, 2010

2009
Telco meets the Web: Programming shared-experience services.
Bell Labs Tech. J., 2009

2008
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
StackSnuffer: Curing Orion's Unsoundness.
Proceedings of the Model Checking Software, 2007

2005
Automata as Abstractions.
Proceedings of the Verification, 2005

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
The Existence of Finite Abstractions for Branching Time Model Checking.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003
Comparing Abstraction Refinement Algorithms.
Electron. Notes Theor. Comput. Sci., 2003

Shape Analysis through Predicate Abstraction and Model Checking.
Proceedings of the Verification, 2003

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

Iterating transducers.
J. Log. Algebraic Methods Program., 2002

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).
Proceedings of the Model Checking of Software, 2002

Abstracting C with abC.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
A Heuristic for Symmetry Reductions with Scalarsets.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000
Model Checking SDL with Spin.
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.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Flat Fragments of CTL and CTL<sup>*</sup>: Separating the Expressive and Distinguishing Powers.
Log. J. IGPL, 1999

1998
Partial-order Reduction Techniques for Real-time Model Checking.
Formal Asp. Comput., 1998

Discrete-Time Promela and Spin.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Integrating Real Time into Spin: A Prototype Implementation.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997
Abstract Interpretation of Reactive Systems.
ACM Trans. Program. Lang. Syst., 1997

The bounded retransmission protocol revisited.
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

Verification, Model Checking and Abstract Interpretation (Workshop Overview).
Proceedings of the Logic Programming, 1997

1996
On the Design of a Correct Freeness Analysis for Logic Programs.
J. Log. Program., 1996

1994
Bottom-up Abstract Interpretation of Logic Programs.
Theor. Comput. Sci., 1994

Model Checking Using Adaptive State and Data Abstraction.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
Freeness Analysis for Logic Programs - And Correctness?
Proceedings of the Logic Programming, 1993

Generation of Reduced Models for Checking Fragments of CTL.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.
Proceedings of the Logic Programming, 1991


  Loading...