Arend Rensink

Citeras av

	Alla	Sedan 2020
Citat	4942	899
h-index	37	17
i10-index	99	24

380

190

285

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 32 26 26 34 36 32 78 52 50 100 155 223 191 260 200 366 207 298 243 233 297 199 188 188 224 196 160 197 167 165 11

Offentlig åtkomst

Visa alla

15 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

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

Följ

Arend Rensink

Professor in Computer Science, University of Twente

Verifierad e-postadress på utwente.nl

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


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare