Volume 32: Graph-Based Tools 2010

DOI: http://dx.doi.org/10.14279/tuj.eceasst.32

Table of Contents

Preface

Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010
Juan de Lara, Daniel Varro
PDF

Articles

Attribute Computations in the DPoPb Graph Transformation Engine
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
PDF
Visual Modeling of Controlled EMF Model Transformation using HENSHIN
Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning
PDF
Reachability Analysis on Timed Graph Transformation Systems
Christian Heinzemann, Julian Suck, Tobias Eckardt
PDF
Neighbourhood Abstraction in GROOVE
Arend Rensink, Eduardo Zambon
PDF
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques
Steffen Mazanek, Christian Rutetzki, Mark Minas
PDF
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation
Torsten Strobl, Mark Minas, Andreas Pleuss, Arnd Vitzthum
PDF
Visualization of Traceability Models with Domain-specific Layouting
Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth
PDF
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
PDF
Verification of Model Transformations to Refactoring Mobile Social Networks
Mark Asztalos, Péter Ekler, László Lengyel, Tihamér Levendovszky
PDF
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
PDF