Arend Rensink

Cited by

	All	Since 2020
Citations	4939	896
h-index	37	17
i10-index	99	24

380

190

285

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 32 26 26 34 36 32 78 52 50 99 156 223 190 260 201 366 206 297 242 235 297 200 188 188 224 196 160 197 167 164 9

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), BrazilVerified email at inf.ufes.br
Mehmet AksitUniversity of TwenteVerified email at utwente.nl
Roberto GorrieriProfessor of computer science, Università di BolognaVerified email at unibo.it
Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Dino DistefanoAnthropic and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Maarten de MolPostdoc, University of TwenteVerified email at xs4all.nl
Amirhossein GhamarianPhd of computer science, University of TwenteVerified email at asml.com
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Iovka BonevaAssociate professor in Computer Science, University of LilleVerified email at univ-lille1.fr
Machiel van der BijlAxiniVerified email at axini.com
Andy SchürrTU DarmstadtVerified email at es.tu-darmstadt.de
Christian SoltenbornResearch and Teaching AssistantVerified email at uni-paderborn.de
Manuel WimmerJohannes Kepler University LinzVerified email at jku.at
Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it

Arend Rensink

Professor in Computer Science, University of Twente

Verified email at utwente.nl

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The GROOVE simulator: A tool for state space generation A Rensink Applications of Graph Transformations with Industrial Relevance: Second …, 2004	476	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	232	2012
Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004	196	2004
Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans International Workshop on Formal Approaches to Software Testing, 86-100, 2003	167	2003
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	158	2007
Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency Theory, 313-327, 1995	127	1995
Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001	112	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	96	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	71	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	64	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

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