Dennis Dams
Affiliations:- Bell Labs
According to our database1,
Dennis Dams
authored at least 38 papers
between 1991 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
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.
Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop, 2021
2018
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
2011
2010
2009
Bell Labs Tech. J., 2009
2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
2007
Proceedings of the Model Checking Software, 2007
2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
2003
Proceedings of the 2003 Workshop on Software Model Checking, 2003
Proceedings of the Verification, 2003
2002
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).
Proceedings of the Model Checking of Software, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
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
Formal Aspects Comput., 1998
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
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
J. Log. Program., 1996
1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Freeness Analysis for Logic Programs - And Correctness?
Proceedings of the Logic Programming, 1993
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