A Rensink

Applications of Graph Transformations with Industrial Relevance: Second …, 2004

AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova

International journal on software tools for technology transfer 14, 15-40, 2012

A Rensink

International Conference on Graph Transformation, 319-335, 2004

M Van der Bijl, A Rensink, J Tretmans

International Workshop on Formal Approaches to Software Testing, 86-100, 2003

A Rensink, Á Schmidt, D Varró

Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004

H Kastenberg, A Rensink

International SPIN workshop on model checking of software, 299-305, 2006

A Rensink, W Vogler

Information and Computation 205 (2), 125-198, 2007

E Brinksma, A Rensink, W Vogler

International Conference on Concurrency Theory, 313-327, 1995

R Gorrieri, A Rensink

Handbook of process algebra, 1047-1147, 2001

A Rensink, D Distefano

Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006

A Rensink

European Symposium on Programming, 401-415, 2004

G Taentzer, A Rensink

International Conference on Fundamental Approaches to Software Engineering …, 2005

D Distefano, JP Katoen, A Rensink

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000

A Rensink

3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003, 150-160, 2003

A Habel, KH Pennemann, A Rensink

Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006

E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ...

Science of computer programming 85, 41-99, 2014

M Aksit, A Rensink, T Staijen

Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009

A Rensink, JH Kuperus

Electronic Communications of the EASST 18, 2009

A Rensink

Electronic Communications of the EASST 1, 2006

H Kastenberg, A Kleppe, A Rensink

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006