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