Theo dõi
Arend Rensink
Arend Rensink
Professor in Computer Science, University of Twente
Email được xác minh tại utwente.nl
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
The GROOVE simulator: A tool for state space generation
A Rensink
Applications of Graph Transformations with Industrial Relevance: Second …, 2004
4812004
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
2342012
Representing first-order logic using graphs
A Rensink
International Conference on Graph Transformation, 319-335, 2004
2012004
Compositional Testing with ioco
M Van der Bijl, A Rensink, J Tretmans
International Workshop on Formal Approaches to Software Testing, 86-100, 2003
1692003
Model checking graph transformations: A comparison of two approaches
A Rensink, Á Schmidt, D Varró
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
1662004
Model checking dynamic states in GROOVE
H Kastenberg, A Rensink
International SPIN workshop on model checking of software, 299-305, 2006
1652006
Fair testing
A Rensink, W Vogler
Information and Computation 205 (2), 125-198, 2007
1612007
Fair testing
E Brinksma, A Rensink, W Vogler
International Conference on Concurrency Theory, 313-327, 1995
1281995
Action refinement
R Gorrieri, A Rensink
Handbook of process algebra, 1047-1147, 2001
1092001
Abstract graph transformation
A Rensink, D Distefano
Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006
1042006
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
International Conference on Fundamental Approaches to Software Engineering …, 2005
972005
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
902003
Weakest preconditions for high-level programs
A Habel, KH Pennemann, A Rensink
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
772006
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
702014
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
672009
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
622006
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20