Dennis Dams

Citado por

	Total	Desde 2018
Citas	2752	246
Índice h	25	8
Índice i10	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 71 63 56 60 38 45 38 44 21

Acceso público

Ver todo

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevDirección de correo verificada de cs.bgu.ac.il
Natalia SidorovaTechnische Universiteit EindhovenDirección de correo verificada de tue.nl
Marc GeilenEindhoven University of TechnologyDirección de correo verificada de tue.nl
Gerard HolzmannNimble ResearchDirección de correo verificada de nimbleresearch.com
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenDirección de correo verificada de cs.kuleuven.be
Ruurd KuiperDirección de correo verificada de tue.nl
Stefan LeueProfessor of Computer ScienceDirección de correo verificada de uni-konstanz.de
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Ana CavalcantiUniversity of YorkDirección de correo verificada de cs.york.ac.uk
Clark BarrettStanford UniversityDirección de correo verificada de cs.stanford.edu
Richard HullVisiting Scholar, University of California, DavisDirección de correo verificada de ucdavis.edu
Dieter HutterGerman Research Center for Artificial IntelligenceDirección de correo verificada de dfki.de
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Mieke MassinkCNR-ISTIDirección de correo verificada de isti.cnr.it
Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
John RushbySRI InternationalDirección de correo verificada de csl.sri.com

Seguir

Dennis Dams

Senior Research Fellow, TNO-ESI

Dirección de correo verificada de tno.nl - Página principal

software quality


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Abstract interpretation of reactive systems D Dams, R Gerth, O Grumberg ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997	691*	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	555	1997
Abstract interpretation and partition refinement for model checking DR Dams Technische Universiteit Eindhoven, 1996	292	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	127*	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	113	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	85	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	82	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores