Dennis Dams

Cited by

	All	Since 2018
Citations	2768	259
h-index	25	9
i10-index	36	6

200

100

150

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 19 43 49 39 59 83 111 115 128 129 117 133 135 167 199 159 124 96 78 116 68 78 73 63 56 60 38 44 40 46 31

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Natalia SidorovaTechnische Universiteit EindhovenVerified email at tue.nl
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Ruurd KuiperVerified email at tue.nl
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Richard HullVisiting Scholar, University of California, DavisVerified email at ucdavis.edu
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerified email at tue.nl
Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
John RushbySRI InternationalVerified email at csl.sri.com

Dennis Dams

Senior Research Fellow, TNO-ESI

Verified email at tno.nl - Homepage

software quality


Title Sort by citations Sort by year Sort by 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	696*	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	560	1997
Abstract interpretation and partition refinement for model checking DR Dams Technische Universiteit Eindhoven, 1996	293	1996
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	160	1994
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	132*	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	121	1993
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	114	2002
Bottom-up abstract interpretation of logic programs M Codish, D Dams, E Yardeni Theoretical Computer Science 124 (1), 93-125, 1994	97	1994
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams International Conference on Protocol Specification, Testing and Verification …, 1998	86	1998
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	84	1991
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	83	2005
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	74	2004
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	71	2002
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	71	2002
Iterating transducers D Dams, Y Lakhnech, M Steffen Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	66	2001
Shape analysis through predicate abstraction and model checking D Dams, KS Namjoshi International Workshop on Verification, Model Checking, and Abstract …, 2002	64	2002
Automata as abstractions D Dams, KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	63	2005
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	61*	2000
A heuristic for the automatic generation of ranking functions D Dams, R Gerth, O Grumberg Workshop on advances in verification, 1-8, 2000	60	2000
Discrete-time promela and spin D Bošnački, D Dams International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	51	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors