Follow
Dennis Dams
Dennis Dams
Senior Research Fellow, TNO-ESI
Verified email at tno.nl - Homepage
Title
Cited by
Cited by
Year
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
684*1997
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
5421997
Abstract interpretation and partition refinement for model checking
DR Dams
Technische Universiteit Eindhoven, 1996
2911996
ABSTRACT INTERPRETATION OF REACTIVE SYSTEMS-ABSTRACTIONS PRESERVING FOR-ALL-CTL-ASTERISK, THERE-EXISTS-CTL-ASTERISK AND CTL-ASTERISK
D Dams, O Grumberg, R Gerth
Programming concepts, methods and calculi 56, 573-592, 1994
1671994
Generation of reduced models for checking fragments of CTL
D Dams, O Grumberg, R Gerth
International Conference on Computer Aided Verification, 479-490, 1993
1221993
Bottom-up abstract interpretation of logic programs
M Codish, D Dams, E Yardeni
Theoretical Computer Science 124 (1), 93-125, 1994
981994
Geometrical guidance and trapping transition of human sperm cells
A Guidobaldi, Y Jeyaram, I Berdakin, VV Moshchalkov, CA Condat, ...
Physical Review E 89 (3), 032720, 2014
852014
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
Formal Description Techniques and Protocol Specification, Testing and …, 1998
811998
Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis
M Codish, D Dams, E Yardeni
Logic Programming-Proceedings of the 8th International Conference, 1991
811991
Incremental algorithms for inter-procedural analysis of safety properties
CL Conway, KS Namjoshi, D Dams, SA Edwards
International Conference on Computer Aided Verification, 449-461, 2005
762005
The existence of finite abstractions for branching time model checking
D Dams, KS Namjoshi
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
752004
Iterating transducers
D Dams, Y Lakhnech, M Steffen
International Conference on Computer Aided Verification, 286-297, 2001
662001
Automata as abstractions
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2005
632005
Shape analysis through predicate abstraction and model checking
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2003
612003
A heuristic for the automatic generation of ranking functions
D Dams, R Gerth, O Grumberg
Workshop on advances in verification, 1-8, 2000
602000
Model checking SDL with Spin
D Bošnački, D Dams, L Holenderski, N Sidorova
International Conference on Tools and Algorithms for the Construction and …, 2000
58*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4 (1), 92, 2002
572002
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
501998
Partial-order reduction techniques for real-time model checking
D Dams, R Gerth, B Knaack, R Kuiper
Formal Aspects of Computing 10 (5), 469-482, 1998
441998
Validation of mission critical software design and implementation using model checking [spacecraft]
PJ Pingree, E Mikk, GJ Holzmann, MH Smith, D Dams
Proceedings. The 21st Digital Avionics Systems Conference 1, 6A4-6A4, 2002
422002
The system can't perform the operation now. Try again later.
Articles 1–20