Volume 16: International Conference on Graph Transformation 2008 - Doctoral Symposium

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

Table of Contents

Preface

Preface
Andrea Corradini, Emilio Tuosto
PDF

Articles

Verification of Architectural Refactorings: Rule Extraction and Tool Support
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
PDF
From Hyperedge Replacement to Separation Logic and Back
Mike Dodds, Detlef Plump
PDF
Deriving Barbed Bisimulations for Bigraphical Reactive Systems
Davide Grohmann, Marino Miculan
PDF
Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement
Mohammad Hammoudeh, Robert Newman, Sarah Mount
PDF
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems
Frank Hermann
PDF
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems
Ajab Khan, Paolo Torrini, Reiko Heckel
PDF
Migrating Legacy Systems to Service-Oriented Architectures
Carlos Matos, Reiko Heckel
PDF
Using a Triple Graph Grammar for State Machine Implementations
Michael Striewe, Michael Goedicke
PDF