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

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

Table of Contents

Preface

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface
Frank Hermann, Stefan Sauer
PDF

Articles

Towards Dynamic Reverse Engineering Visual Contracts from Java
Abdullah M. Alshanqiti, Reiko Heckel
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
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
Frederik Deckwerth, Gergely Varró
PDF
Modelling Adaptive Networks: The Case of the Petrified Voters
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
PDF
A Comparison of Incremental Triple Graph Grammar Tools
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer
PDF
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
Jan Stückrath, Benjamin Weyers
PDF
Verification of Graph-based Model Transformations Using Alloy
Xiaoliang Wang, Fabian Büttner, Yngve Lamo
PDF
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
Eduardo Zambon, Arend Rensink
PDF