Electronic Communication of the European Association of Software Science and Technology, Volume 16

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

• Andrea Corradini, Emilio Tuosto:
  Preface.
  

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