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
699*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
5641997
Abstract interpretation and partition refinement for model checking
DR Dams
2951996
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
1591994
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
135*2014
Generation of reduced models for checking fragments of CTL
D Dams, O Grumberg, R Gerth
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
1211993
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
1132002
Bottom-up abstract interpretation of logic programs
M Codish, D Dams, E Yardeni
Theoretical Computer Science 124 (1), 93-125, 1994
961994
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
International Conference on Protocol Specification, Testing and Verification …, 1998
861998
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
851991
Incremental algorithms for inter-procedural analysis of safety properties
CL Conway, KS Namjoshi, D Dams, SA Edwards
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
842005
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
722004
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
702002
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
702002
Iterating transducers
D Dams, Y Lakhnech, M Steffen
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
672001
Shape analysis through predicate abstraction and model checking
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2002
652002
Automata as abstractions
D Dams, KS Namjoshi
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
612005
Model checking SDL with Spin
D Bošnački, D Dams, L Holenderski, N Sidorova
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
60*2000
A heuristic for the automatic generation of ranking functions
D Dams, R Gerth, O Grumberg
Workshop on advances in verification, 1-8, 2000
592000
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
501998
The system can't perform the operation now. Try again later.
Articles 1–20