Vol. 67 (2014): Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)

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

Published: 2014-08-19

Articles

Verification of Graph-based Model Transformations Using Alloy

Xiaoliang Wang, Fabian Büttner, Yngve Lamo
- PDF
A Comparison of Incremental Triple Graph Grammar Tools

Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer
- PDF
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation

Frederik Deckwerth, Gergely Varró
- PDF
Towards Dynamic Reverse Engineering Visual Contracts from Java

Abdullah Alshanqiti, Reiko Heckel
- PDF
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Eduardo Zambon, Arend Rensink
- PDF
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models

Jan Stückrath, Benjamin Weyers
- PDF
Modelling Adaptive Networks: The Case of the Petrified Voters

Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
- PDF
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study

Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy
- PDF

Preface

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface

Frank Hermann, Stefan Sauer
- PDF