Arend Rensink

Cited by

	All	Since 2016
Citations	4221	1022
h-index	33	14
i10-index	87	27

360

180

270

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 24 25 33 32 30 69 53 57 102 149 228 213 256 215 342 223 284 225 228 296 193 191 186 214 175 62

Public access

View all

8 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
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Maarten de MolPostdoc, University of TwenteVerified email at xs4all.nl
Amirhossein GhamarianPhd of computer science, University of TwenteVerified email at asml.com
Christian SoltenbornResearch and Teaching AssistantVerified email at uni-paderborn.de
Michaela HuhnOstfalia, University of Applied Science, Computer Science FacultyVerified email at ostfalia.de
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Daniel VarroProfessorVerified email at mcgill.ca
Arash JalaliNetStairs.com, Inc.Verified email at netstairs.com
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Pepijn CrouzenGoogle inc.Verified email at google.com
Ruben M. SmelikResearch scientist, Modelling, Simulation and Gaming Department, TNO, The NetherlandsVerified email at tno.nl

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 International Workshop on Applications of Graph Transformations with …, 2003	424	2003
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 (1), 15-40, 2012	175	2012
Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004	159	2004
Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007	155	2007
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró International Conference on Graph Transformation, 226-241, 2004	155	2004
Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans International Workshop on Formal Approaches to Software Testing, 86-100, 2003	147	2003
Model checking dynamic states in GROOVE H Kastenberg, A Rensink International SPIN Workshop on Model Checking of Software, 299-305, 2006	139	2006
Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency theory, 313-327, 1995	123	1995
Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001	97	2001
Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006	93	2006
Canonical graph shapes A Rensink European Symposium on Programming, 401-415, 2004	90	2004
Model checking graph grammars A Rensink Proc. of AVOCS 3, 2003	87	2003
On a temporal logic for object-based systems D Distefano, JP Katoen, A Rensink International Conference on Formal Methods for Open Object-Based Distributed …, 2000	87	2000
Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink International Conference on Fundamental Approaches to Software Engineering …, 2005	85	2005
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	64	2009
Weakest preconditions for high-level programs A Habel, KH Pennemann, A Rensink International Conference on Graph Transformation, 445-460, 2006	61	2006
Defining object-oriented execution semantics using graph transformations H Kastenberg, A Kleppe, A Rensink International Conference on Formal Methods for Open Object-Based Distributed …, 2006	59	2006
Explicit state model checking for graph grammars A Rensink Concurrency, Graphs and Models, 114-132, 2008	53	2008
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	52	2014
Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009	52	2009

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

Upload PDF

Follow this author

Cited by

Co-authors