| The GROOVE simulator: A tool for state space generation A Rensink International Workshop on Applications of Graph Transformations with …, 2003 | 407 | 2003 |
| 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 | 161 | 2012 |
| Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004 | 148 | 2004 |
| Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007 | 144 | 2007 |
| Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró International Conference on Graph Transformation, 226-241, 2004 | 144 | 2004 |
| Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans International Workshop on Formal Approaches to Software Testing, 86-100, 2003 | 140 | 2003 |
| Model checking dynamic states in GROOVE H Kastenberg, A Rensink International SPIN Workshop on Model Checking of Software, 299-305, 2006 | 132 | 2006 |
| Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency theory, 313-327, 1995 | 120 | 1995 |
| Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001 | 94 | 2001 |
| Canonical graph shapes A Rensink European Symposium on Programming, 401-415, 2004 | 89 | 2004 |
| Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006 | 88 | 2006 |
| Model checking graph grammars A Rensink Proc. of AVOCS 3, 2003 | 87 | 2003 |
| 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 | 84 | 2000 |
| Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink International Conference on Fundamental Approaches to Software Engineering …, 2005 | 82 | 2005 |
| 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 | 64 | 2009 |
| Weakest preconditions for high-level programs A Habel, KH Pennemann, A Rensink International Conference on Graph Transformation, 445-460, 2006 | 58 | 2006 |
| 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 | 57 | 2006 |
| Explicit state model checking for graph grammars A Rensink Concurrency, Graphs and Models, 114-132, 2008 | 53 | 2008 |
| Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009 | 50 | 2009 |
| Models and methods for action refinement. A Rensink | 50 | 1995 |
Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), BrazilVerified email at inf.ufes.br
