Arend Rensink

Citado por

	Todos	Desde 2018
Citações	4548	977
Índice h	34	17
Índice i10	91	30

340

170

255

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 25 24 37 32 32 74 55 52 88 155 228 201 259 221 337 215 286 222 240 298 198 183 184 211 181 156 205 39

Acesso público

Ver tudo

13 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), BrazilEmail confirmado em inf.ufes.br
Dino DistefanoMeta and Queen Mary University of LondonEmail confirmado em eecs.qmul.ac.uk
Amirhossein GhamarianPhd of computer science, University of TwenteEmail confirmado em asml.com
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenEmail confirmado em cs.ru.nl
Maarten de MolPostdoc, University of TwenteEmail confirmado em xs4all.nl
Christian SoltenbornResearch and Teaching AssistantEmail confirmado em uni-paderborn.de
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science FacultyEmail confirmado em ostfalia.de
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillEmail confirmado em liu.se
Arash JalaliNetStairs.com, Inc.Email confirmado em netstairs.com
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueEmail confirmado em fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityEmail confirmado em cs.au.dk
Pepijn CrouzenGoogle inc.Email confirmado em google.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail confirmado em mcs.le.ac.uk
Ruben M. SmelikResearch scientist, Modelling, Simulation and Gaming Department, TNO, The NetherlandsEmail confirmado em tno.nl

Seguir

Arend Rensink

Professor in Computer Science, University of Twente

Email confirmado em utwente.nl

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
The GROOVE simulator: A tool for state space generation A Rensink Applications of Graph Transformations with Industrial Relevance: Second …, 2004	467	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	203	2012
Representing first-order logic using graphs A Rensink Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004	179	2004
Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans Formal Approaches to Software Testing: Third International Workshop on …, 2004	159	2004
Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007	158	2007
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004	158	2004
Model checking dynamic states in GROOVE H Kastenberg, A Rensink SPIN 6, 299-305, 2006	152	2006
Fair testing E Brinksma, A Rensink, W Vogler CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995	121	1995
Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001	102	2001
Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006	95	2006
Canonical graph shapes A Rensink ESOP 4, 401-415, 2004	95	2004
Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink Fundamental Approaches to Software Engineering: 8th International Conference …, 2005	93	2005
Model checking graph grammars A Rensink Proc. of AVOCS 3, 2003	91	2003
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	88	2000
Weakest preconditions for high-level programs A Habel, KH Pennemann, A Rensink Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006	69	2006
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	67	2009
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	63	2014
Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009	62	2009
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	59	2006
Explicit state model checking for graph grammars A Rensink Lecture Notes in Computer Science 5065, 114-132, 2008	57	2008

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores