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
666*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
5311997
Terminal coalgebras in well-founded set theory
M Barr
Theoretical Computer Science 114 (2), 299-315, 1993
351*1993
Abstract interpretation and partition refinement for model checking
DR Dams
Technische Universiteit Eindhoven, 1996
2871996
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
1581994
Generation of reduced models for checking fragments of CTL
D Dams, O Grumberg, R Gerth
International Conference on Computer Aided Verification, 479-490, 1993
1141993
Bottom-up abstract interpretation of logic programs
M Codish, D Dams, E Yardeni
Theoretical Computer Science 124 (1), 93-125, 1994
941994
Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis
M Codish, D Dams, E Yardeni
Weizmann Institute of Science, Department of Applied Mathematics & Computer …, 1990
771990
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
742014
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
Formal Description Techniques and Protocol Specification, Testing and …, 1998
731998
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
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
702005
Iterating transducers
D Dams, Y Lakhnech, M Steffen
International Conference on Computer Aided Verification, 286-297, 2001
652001
Shape analysis through predicate abstraction and model checking
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2003
632003
Symmetric spin
D Bosnacki, D Dams, L Holenderski
62*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
62*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
62*2000
Automata as abstractions
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2005
612005
A heuristic for the automatic generation of ranking functions
D Dams, R Gerth, O Grumberg
Workshop on advances in verification, 1-8, 2000
592000
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
The system can't perform the operation now. Try again later.
Articles 1–20