Arend Rensink
Arend Rensink
Professor in Computer Science, University of Twente
Bestätigte E-Mail-Adresse bei utwente.nl
TitelZitiert vonJahr
Graph Transformations
H Ehrig, A Rensink, G Rozenberg, A Schürr
Lecture Notes in Computer Science 6372, 2010
12982010
The GROOVE simulator: A tool for state space generation
A Rensink
International Workshop on Applications of Graph Transformations with …, 2003
3772003
Compositional Testing with ioco
M Van Der Bijl, A Rensink, J Tretmans
International Workshop on Formal Approaches to Software Testing, 86-100, 2003
1472003
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
International Conference on Graph Transformation, 226-241, 2004
1392004
Fair testing
A Rensink, W Vogler
Information and Computation 205 (2), 125-198, 2007
1352007
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
1342012
Representing first-order logic using graphs
A Rensink
International Conference on Graph Transformation, 319-335, 2004
1322004
Model checking dynamic states in GROOVE
H Kastenberg, A Rensink
International SPIN Workshop on Model Checking of Software, 299-305, 2006
1212006
Fair testing
E Brinksma, A Rensink, W Vogler
International Conference on Concurrency theory, 313-327, 1995
1161995
Action refinement
R Gorrieri, A Rensink
Handbook of process algebra, 1047-1147, 2001
1002001
Model checking graph grammars
A Rensink
Proc. Workshop on Automated Verification of Critical Systems (AVoCS 2003 …, 2003
872003
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
842000
Canonical graph shapes
A Rensink
European Symposium on Programming, 401-415, 2004
802004
Abstract graph transformation
A Rensink, D Distefano
Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006
782006
Ensuring structural constraints in graph-based models with type inheritance
G Taentzer, A Rensink
International Conference on Fundamental Approaches to Software Engineering …, 2005
732005
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
612009
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
562006
Weakest preconditions for high-level programs
A Habel, KH Pennemann, A Rensink
International Conference on Graph Transformation, 445-460, 2006
532006
Models and methods for action refinement
A Rensink
Universiteit Twente, 1993
521993
Repotting the geraniums: on nested graph transformation rules
A Rensink, JH Kuperus
Electronic Communications of the EASST 18, 2009
482009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20