| The GROOVE simulator: A tool for state space generation A Rensink Applications of Graph Transformations with Industrial Relevance: Second …, 2004 | 479 | 2004 |
| 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 | 222 | 2012 |
| Representing first-order logic using graphs A Rensink International Conference on Graph Transformation, 319-335, 2004 | 189 | 2004 |
| Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 167 | 2004 |
| Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 166 | 2004 |
| Model checking dynamic states in GROOVE H Kastenberg, A Rensink Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006 | 162 | 2006 |
| Fair testing A Rensink, W Vogler Information and Computation 205 (2), 125-198, 2007 | 154 | 2007 |
| Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency Theory, 313-327, 1995 | 125 | 1995 |
| Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001 | 110 | 2001 |
| Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006 | 103 | 2006 |
| Canonical graph shapes A Rensink European Symposium on Programming, 401-415, 2004 | 98 | 2004 |
| Ensuring structural constraints in graph-based models with type inheritance G Taentzer, A Rensink Fundamental Approaches to Software Engineering: 8th International Conference …, 2005 | 95 | 2005 |
| Model checking graph grammars A Rensink Proc. of AVOCS 3, 2003 | 91 | 2003 |
| 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 | 90 | 2000 |
| Weakest preconditions for high-level programs A Habel, KH Pennemann, A Rensink Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 74 | 2006 |
| 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 | 70 | 2014 |
| 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 | 69 | 2009 |
| Repotting the geraniums: on nested graph transformation rules A Rensink, JH Kuperus Electronic Communications of the EASST 18, 2009 | 63 | 2009 |
| Isomorphism checking in GROOVE A Rensink Electronic Communications of the EASST 1, 2006 | 61 | 2006 |
| 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 | 60 | 2006 |
Eduardo ZambonAssistant Professor in Computer Science, Federal University of Espírito Santo (UFES), Brazil在 inf.ufes.br 的电子邮件经过验证
