Arend Rensink

Citado por

	Total	Desde 2019
Citas	4871	1056
Índice h	36	17
Índice i10	99	28

380

190

285

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 32 26 26 34 36 31 79 53 49 99 153 226 190 257 203 366 207 297 240 235 300 199 188 186 223 194 160 197 169 110

Acceso público

Ver todo

15 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), BrazilDirección de correo verificada de inf.ufes.br
Dino DistefanoMeta and Queen Mary University of LondonDirección de correo verificada de eecs.qmul.ac.uk
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenDirección de correo verificada de cs.ru.nl
Maarten de MolPostdoc, University of TwenteDirección de correo verificada de xs4all.nl
Amirhossein GhamarianPhd of computer science, University of TwenteDirección de correo verificada de asml.com
Christian SoltenbornResearch and Teaching AssistantDirección de correo verificada de uni-paderborn.de
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science FacultyDirección de correo verificada de ostfalia.de
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillDirección de correo verificada de liu.se
Arash JalaliNetStairs.com, Inc.Dirección de correo verificada de netstairs.com
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueDirección de correo verificada de fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Pepijn CrouzenGoogle inc.Dirección de correo verificada de google.com
Ruben M. SmelikResearch scientist, Modelling, Simulation and Gaming Department, TNO, The NetherlandsDirección de correo verificada de tno.nl
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterDirección de correo verificada de mcs.le.ac.uk

Seguir

Arend Rensink

Professor in Computer Science, University of Twente

Dirección de correo verificada de utwente.nl

Software Verification Model Transformation Model Checking Graph Transformation Model-Based Testing


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The GROOVE simulator: A tool for state space generation A Rensink Applications of Graph Transformations with Industrial Relevance: Second …, 2004	474	2004
Modelling and analysis using GROOVE AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova International journal on software tools for technology transfer 14, 15-40, 2012	230	2012
Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004	193	2004
Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans Formal Approaches to Software Testing: Third International Workshop on …, 2004	166	2004
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004	165	2004
Model checking dynamic states in GROOVE H Kastenberg, A Rensink Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006	164	2006
Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007	157	2007
Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency Theory, 313-327, 1995	126	1995
Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001	111	2001
Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006	102	2006
Canonical graph shapes A Rensink European Symposium on Programming, 401-415, 2004	99	2004
Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink Fundamental Approaches to Software Engineering: 8th International Conference …, 2005	95	2005
On a temporal logic for object-based systems D Distefano, JP Katoen, A Rensink Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000	92	2000
Model checking graph grammars A Rensink 3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003, 150-160, 2003	91	2003
Weakest preconditions for high-level programs A Habel, KH Pennemann, A Rensink Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006	75	2006
A survey and comparison of transformation tools based on the transformation tool contest E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ... Science of computer programming 85, 41-99, 2014	70	2014
A graph-transformation-based simulation approach for analysing aspect interference on shared join points M Aksit, A Rensink, T Staijen Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009	69	2009
Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009	64	2009
Isomorphism checking in GROOVE A Rensink Electronic Communications of the EASST 1, 2006	63	2006
Defining object-oriented execution semantics using graph transformations H Kastenberg, A Kleppe, A Rensink Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006	61	2006

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