Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium

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

Table of Contents

Preface

Preface
Andrea Corradini
PDF

Articles

Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems
Christoph Blume
PDF
Application Conditions for Reactive Systems with Applications to Bisimulation Theory
Mathias Hülsbusch
PDF
Realizing Impure Functions in Interaction Nets
Eugen Jiresch
PDF
Using Graph Transformations and Graph Abstractions for Software Verification
Eduardo Zambon, Arend Rensink
PDF
Local Confluence Analysis of Consistent EMF Transformations
Enrico Biermann
PDF
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation
Adwoa Donyina, Reiko Heckel
PDF
Static Type Checking of Model Transformation Programs
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
PDF
Search-Based Refactoring using Unfolding of Graph Transformation Systems
Fawad Qayum, Reiko Heckel
PDF