5 citations · 9 across the 4 of their papers we have counts for
4 papers
Proceedings Graphs as Models
Arend Rensink, Eduardo Zambon
This volume contains the proceedings of the (first) Graphs as Models (GaM) 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the Europ…
Graph Subsumption in Abstract State Space Exploration
Eduardo Zambon, Arend Rensink
In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on…
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink +1
This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case study. Every requested que…
Solving the TTC 2011 Compiler Optimization Case with GROOVE
Arend Rensink, Eduardo Zambon
This report presents a partial solution to the Compiler Optimization case study using GROOVE. We explain how the input graphs provided with the case study were adapted into a GROOV…