EEMCS

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779

Ghamarian, A.H. and Rensink, A. (2012) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 215-222. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISBN not assigned

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2010) Modelling and Analysis Using GROOVE. Technical Report TR-CTIT-10-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672