Arend Rensink

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	4998	910
H-index	36	16
i10-index	99	24

380

190

285

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 33 26 26 34 36 32 78 54 51 95 156 227 194 260 203 374 210 301 243 232 303 197 190 201 227 201 163 204 162 163 16

גישה ציבורית

הצג הכל

16 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), Brazilכתובת אימייל מאומתת בדומיין inf.ufes.br
Heike WehrheimUniversity of Oldenburgכתובת אימייל מאומתת בדומיין uni-oldenburg.de
Roberto GorrieriProfessor of computer science, Università di Bolognaכתובת אימייל מאומתת בדומיין unibo.it
Mehmet AksitUniversity of Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twenteכתובת אימייל מאומתת בדומיין cs.rwth-aachen.de
Dino DistefanoAnthropic and Queen Mary University of Londonכתובת אימייל מאומתת בדומיין eecs.qmul.ac.uk
Barbara KönigUniversität Duisburg-Essen, Theoretische Informatikכתובת אימייל מאומתת בדומיין uni-due.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, Nijmegenכתובת אימייל מאומתת בדומיין cs.ru.nl
Maarten de MolPostdoc, University of Twenteכתובת אימייל מאומתת בדומיין xs4all.nl
Amirhossein GhamarianPhd of computer science, University of Twenteכתובת אימייל מאומתת בדומיין asml.com
Ed BrinksmaHoogleraar informatica, Universiteit Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Gabriele TaentzerPhilipps-Universität Marburgכתובת אימייל מאומתת בדומיין mathematik.uni-marburg.de
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of Yorkכתובת אימייל מאומתת בדומיין mcmaster.ca
Iovka BonevaAssociate professor in Computer Science, University of Lilleכתובת אימייל מאומתת בדומיין univ-lille1.fr
Machiel van der BijlAxiniכתובת אימייל מאומתת בדומיין axini.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of Leicesterכתובת אימייל מאומתת בדומיין mcs.le.ac.uk
Christian SoltenbornResearch and Teaching Assistantכתובת אימייל מאומתת בדומיין uni-paderborn.de
Andy SchürrTU Darmstadtכתובת אימייל מאומתת בדומיין es.tu-darmstadt.de
Manuel WimmerJohannes Kepler University Linzכתובת אימייל מאומתת בדומיין jku.at

עקוב אחר

Arend Rensink

Professor in Computer Science, University of Twente

כתובת אימייל מאומתת בדומיין utwente.nl

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


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
The GROOVE simulator: A tool for state space generation‏ A Rensink‏ Applications of Graph Transformations with Industrial Relevance: Second …, 2004‏	480	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‏	234	2012
Representing first-order logic using graphs‏ A Rensink‏ International Conference on Graph Transformation, 319-335, 2004‏	200	2004
Compositional Testing with ioco‏ M Van der Bijl, A Rensink, J Tretmans‏ International Workshop on Formal Approaches to Software Testing, 86-100, 2003‏	169	2003
Model checking graph transformations: A comparison of two approaches‏ A Rensink, Á Schmidt, D Varró‏ Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004‏	166	2004
Model checking dynamic states in GROOVE‏ H Kastenberg, A Rensink‏ International SPIN workshop on model checking of software, 299-305, 2006‏	164	2006
Fair testing‏ A Rensink, W Vogler‏ Information and Computation 205 (2), 125-198, 2007‏	161	2007
Fair testing‏ E Brinksma, A Rensink, W Vogler‏ International Conference on Concurrency Theory, 313-327, 1995‏	128	1995
Action refinement‏ R Gorrieri, A Rensink‏ Handbook of process algebra, 1047-1147, 2001‏	109	2001
Abstract graph transformation‏ A Rensink, D Distefano‏ Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006‏	104	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‏ International Conference on Fundamental Approaches to Software Engineering …, 2005‏	97	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‏	90	2003
Weakest preconditions for high-level programs‏ A Habel, KH Pennemann, A Rensink‏ Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006‏	77	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‏	70	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‏	67	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‏	62	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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים