متابعة
Arend Rensink
Arend Rensink
Professor in Computer Science, University of Twente
بريد إلكتروني تم التحقق منه على utwente.nl
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
The GROOVE simulator: A tool for state space generation‏
A Rensink‏
Applications of Graph Transformations with Industrial Relevance: Second …, 2004‏
4762004
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‏
2322012
Representing first-order logic using graphs‏
A Rensink‏
International Conference on Graph Transformation, 319-335, 2004‏
1962004
Compositional Testing with ioco‏
M Van der Bijl, A Rensink, J Tretmans‏
International Workshop on Formal Approaches to Software Testing, 86-100, 2003‏
1672003
Model checking graph transformations: A comparison of two approaches‏
A Rensink, Á Schmidt, D Varró‏
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004‏
1652004
Model checking dynamic states in GROOVE‏
H Kastenberg, A Rensink‏
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006‏
1642006
Fair testing‏
A Rensink, W Vogler‏
Information and Computation 205 (2), 125-198, 2007‏
1582007
Fair testing‏
E Brinksma, A Rensink, W Vogler‏
International Conference on Concurrency Theory, 313-327, 1995‏
1271995
Action refinement‏
R Gorrieri, A Rensink‏
Handbook of process algebra, 1047-1147, 2001‏
1122001
Abstract graph transformation‏
A Rensink, D Distefano‏
Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006‏
1022006
Canonical graph shapes‏
A Rensink‏
European Symposium on Programming, 401-415, 2004‏
992004
Ensuring structural constraints in graph-based models with type inheritance‏
G Taentzer, A Rensink‏
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005‏
962005
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‏
922000
Model checking graph grammars‏
A Rensink‏
3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003, 150-160, 2003‏
912003
Weakest preconditions for high-level programs‏
A Habel, KH Pennemann, A Rensink‏
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006‏
752006
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‏
712014
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‏
692009
Repotting the geraniums: on nested graph transformation rules‏
A Rensink, JH Kuperus‏
Electronic Communications of the EASST 18, 2009‏
642009
Isomorphism checking in GROOVE‏
A Rensink‏
Electronic Communications of the EASST 1, 2006‏
642006
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‏
612006
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20