Παρακολούθηση
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
4752004
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
2302012
Representing first-order logic using graphs
A Rensink
International Conference on Graph Transformation, 319-335, 2004
1952004
Compositional Testing with ioco
M Van der Bijl, A Rensink, J Tretmans
Formal Approaches to Software Testing: Third International Workshop on …, 2004
1662004
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
1572007
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
632006
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