Dennis Dams

Cited by

	All	Since 2019
Citations	2892	262
h-index	25	8
i10-index	38	8

200

100

150

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 19 49 55 41 66 86 110 121 128 140 117 140 137 168 198 158 129 97 79 119 68 78 74 63 57 57 35 48 40 54 38 47

Public access

View all

2 articles

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
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
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
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	666	1997
Abstract interpretation and partition refinement for model checking DR Dams	300	1996
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	141*	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	124	1993
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	119	2002
Bottom-up abstract interpretation of logic programs M Codish, D Dams, E Yardeni Theoretical Computer Science 124 (1), 93-125, 1994	95	1994
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	88	2005
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	86	1991
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams International Conference on Protocol Specification, Testing and Verification …, 1998	85	1998
Abstract interpretation of reactive systems : abstractions preserving CTL, CTL and CTL DR Dams, O Grumberg, RT Gerth Technische Universiteit Eindhoven, 1994	78	1994
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	73	2004
Iterating transducers D Dams, Y Lakhnech, M Steffen Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	73	2001
Shape analysis through predicate abstraction and model checking D Dams, KS Namjoshi International Workshop on Verification, Model Checking, and Abstract …, 2002	68	2002
Automata as abstractions D Dams, KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	62	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
Partial-order reduction techniques for real-time model checking D Dams, R Gerth, B Knaack, R Kuiper Formal Aspects of Computing 10, 469-482, 1998	54	1998
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
Model checking using adaptive state and data abstraction D Dams, R Gerth, G Döhmen, R Herrmann, P Kelb, H Pargmann Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	46	1994
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	44	2002

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