Graph Transformation

9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

  • Rachid Echahed
  • Mark Minas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9761)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Keynote

  3. Foundations

    1. Front Matter
      Pages 19-19
    2. Andrea Corradini, Dominique Duval, Frederic Prost, Leila Ribeiro
      Pages 37-53
    3. Julia Padberg, Alexander Schulz
      Pages 54-70
  4. Tools and Algorithms

    1. Front Matter
      Pages 71-71
    2. Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
      Pages 73-88
    3. Christopher Bak, Detlef Plump
      Pages 102-117
  5. Queries

    1. Front Matter
      Pages 135-135
    2. Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró
      Pages 137-152
    3. Christian Krause, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka
      Pages 153-169
    4. Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
      Pages 170-186
  6. Applications

    1. Front Matter
      Pages 187-187
    2. Christoph Flamm, Daniel Merkle, Peter F. Stadler, Uffe Thorsen
      Pages 206-222
    3. David Priemer, Tobias George, Marcel Hahn, Lennert Raesch, Albert Zündorf
      Pages 223-235

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. 
The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. 
The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume. 

Keywords

graph grammar graph transformation system model checking rewrite systems software verification algebraic language theory amalgamation computational models grammar analysis graph constraints graph-based database models hypergraphs local search meta modeling model transformations model-driven software engineering query language reachability reconfigurable Petri nets verification

Editors and affiliations

  • Rachid Echahed
    • 1
  • Mark Minas
    • 2
  1. 1.Laboratoire LIGUniversité Grenoble AlpesGrenobleFrance
  2. 2.Universität der Bundeswehr MünchenNeubibergGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-40530-8
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-40529-2
  • Online ISBN 978-3-319-40530-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book