Dennis Dams

Citado por

	Total	Desde 2019
Citas	2875	249
Índice h	25	8
Índice i10	38	8

200

100

150

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

Acceso público

Ver todo

2 artículos

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
Gerard HolzmannNimble ResearchDirección de correo verificada de nimbleresearch.com
Marc GeilenEindhoven University of TechnologyDirección de correo verificada de tue.nl
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 Science, University of Konstanz, GermanyDirección de correo verificada de uni-konstanz.de
Ana CavalcantiUniversity of YorkDirección de correo verificada de cs.york.ac.uk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyDirección de correo verificada de tue.nl
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	664	1997
Abstract interpretation and partition refinement for model checking DR Dams	299	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	138*	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	118	2002
Bottom-up abstract interpretation of logic programs M Codish, D Dams, E Yardeni Theoretical Computer Science 124 (1), 93-125, 1994	95	1994
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
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	85	2005
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

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