Arend Rensink

Citée par

	Toutes	Depuis 2018
Citations	4631	1060
indice h	34	17
indice i10	93	30

360

180

270

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 23 26 36 34 33 75 54 51 97 157 227 201 257 204 343 210 294 223 240 295 202 179 185 215 189 158 197 114

Accès public

Tout afficher

14 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), BrazilAdresse e-mail validée de inf.ufes.br
Dino DistefanoMeta and Queen Mary University of LondonAdresse e-mail validée de eecs.qmul.ac.uk
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenAdresse e-mail validée de cs.ru.nl
Maarten de MolPostdoc, University of TwenteAdresse e-mail validée de xs4all.nl
Amirhossein GhamarianPhd of computer science, University of TwenteAdresse e-mail validée de asml.com
Christian SoltenbornResearch and Teaching AssistantAdresse e-mail validée de uni-paderborn.de
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science FacultyAdresse e-mail validée de ostfalia.de
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillAdresse e-mail validée de liu.se
Arash JalaliNetStairs.com, Inc.Adresse e-mail validée de netstairs.com
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueAdresse e-mail validée de fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Pepijn CrouzenGoogle inc.Adresse e-mail validée de google.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterAdresse e-mail validée de mcs.le.ac.uk
Ruben M. SmelikResearch scientist, Modelling, Simulation and Gaming Department, TNO, The NetherlandsAdresse e-mail validée de tno.nl

Suivre

Arend Rensink

Professor in Computer Science, University of Twente

Adresse e-mail validée de utwente.nl

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
The GROOVE simulator: A tool for state space generation A Rensink Applications of Graph Transformations with Industrial Relevance: Second …, 2004	470	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	215	2012
Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004	182	2004
Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans Formal Approaches to Software Testing: Third International Workshop on …, 2004	162	2004
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004	162	2004
Model checking dynamic states in GROOVE H Kastenberg, A Rensink Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006	156	2006
Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007	153	2007
Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency Theory, 313-327, 1995	125	1995
Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001	104	2001
Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006	97	2006
Canonical graph shapes A Rensink European Symposium on Programming, 401-415, 2004	96	2004
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
Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink Fundamental Approaches to Software Engineering: 8th International Conference …, 2005	91	2005
Model checking graph grammars A Rensink Proc. of AVOCS 3, 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	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	65	2014
Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009	63	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 Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008	58	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs