Dams, Dennis - Computing and Software Principles Research Department, Bell Labs, Alcatel-Lucent

Advanced Search

Dams, Dennis - Computing and Software Principles Research Department, Bell Labs, Alcatel-Lucent

The Existence of Finite Abstractions for Branching Time Model Checking Dennis Dams Kedar S. Namjoshi
Principles and Practice Dennis Dams
behorende bij het proefschrift ABSTRACT INTERPRETATION
Practical Symbolic Model Checking of the full calculus using Compositional Abstractions
Integrating Real Time into Spin: A Prototype Implementation
Partialorder Reduction Techniques for Realtime Model Checking
An On-the-y Tableau Construction for a Real-Time Temporal Logic
Using the INKA prover to automate safety proofs in abstract interpretation -A case study
Model Checking SDL with Spin Dragan Bo sna cki 1 , Dennis Dams 2 , Leszek Holenderski 1 , and Natalia Sidorova 2
Combining Theorem Proving and Model Checking | A Case Study ?
A Heuristic for the Automatic Generation of Ranking Functions Dennis Dams z Rob Gerth x Orna Grumberg {
Discrete Time Promela and Spin Dragan Bosnacki
Specification and Implementation of Components of a CRL Toolbox
Shape Analysis through Predicate Abstraction and Model Checking
Experiences with Modelling the USB Hub Protocol Using Spin \Lambda Dennis Dams, Rob Gerth Loe Feijs Gertjan Kamsteeg
Fair Model Checking of Abstractions (Extended Abstract)
Electronic Notes in Theoretical Computer Science 89 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 12 pages
Electronic Notes in Theoretical Computer Science 9 (1999) URL: http://www.elsevier.nl/locate/entcs/volume9.html 9 pages
ABSTRACT INTERPRETATION AND PARTITION REFINEMENT
Iterating transducers Dennis Dams1
Abstraction in Software Model Checking: Principles and Practice
Principles and Practice Dennis Dams
Abstracting C with abC Dennis Dams1
Applying verification methods to non-exhaustive verification of software/hardware systems
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
variable length time frame from AP to MT from MT to AP
ABSTRACT INTERPRETATION AND PARTITION REFINEMENT
Bottomup Abstract Interpretation of Logic Programs 3 Michael Codish Dennis Dams Eyal Yardeni
A Heuristic for Symmetry Reductions with Scalarsets #
Symmetric Spin # Dragan Bo sna cki 1 , Dennis Dams 2 , and Leszek Holenderski 1
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
It is possible to construct for any LTL formula, an -automaton, which accepts precisely all traces that satisfy this property [WVS83]
in ``Abstract Interpretation and Partition Refinement for Model Checking'' 11th October 1996
Automata as Abstractions Dennis Dams and Kedar S. Namjoshi
Abstract Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH