Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Vol. 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
DOI:
https://doi.org/10.14279/tuj.eceasst.16
Published:
2009-07-20
Articles
From Hyperedge Replacement to Separation Logic and Back
Mike Dodds, Detlef Plump
PDF
Migrating Legacy Systems to Service-Oriented Architectures
Carlos Matos, Reiko Heckel
PDF
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems
Frank Hermann
PDF
Deriving Barbed Bisimulations for Bigraphical Reactive Systems
Davide Grohmann, Marino Miculan
PDF
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
PDF
Using a Triple Graph Grammar for State Machine Implementations
Michael Striewe, Michael Goedicke
PDF
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems
Ajab Khan, Paolo Torrini, Reiko Heckel
PDF
Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement
Mohammad Hammoudeh, Robert Newman, Sarah Mount
PDF
Preface
Preface
Andrea Corradini, Emilio Tuosto
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.