Vol. 38 (2011): International Conference on Graph Transformation 2010 - Doctoral Symposium

DOI: https://doi.org/10.14279/tuj.eceasst.38

Published: 2011-09-07

Preface

Preface

Andrea Corradini
- PDF

Articles

Local Confluence Analysis of Consistent EMF Transformations

Enrico Biermann
- PDF
Realizing Impure Functions in Interaction Nets

Eugen Jiresch
- PDF
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems

Christoph Blume
- PDF
Search-Based Refactoring using Unfolding of Graph Transformation Systems

Fawad Qayum, Reiko Heckel
- PDF
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation

Adwoa Donyina, Reiko Heckel
- PDF
Using Graph Transformations and Graph Abstractions for Software Verification

Eduardo Zambon, Arend Rensink
- PDF
Application Conditions for Reactive Systems with Applications to Bisimulation Theory

Mathias Hülsbusch
- PDF
Static Type Checking of Model Transformation Programs

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
- PDF