Advertisement

Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

  • Esther Guerra
  • Fernando Orejas
Conference proceedings ICGT 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11629)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11629)

Table of contents

  1. Front Matter
    Pages i-x
  2. Theory

    1. Front Matter
      Pages 1-1
    2. Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda
      Pages 3-20
    3. Michael Löwe
      Pages 21-37
    4. Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer
      Pages 38-54
    5. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 55-72
  3. Analysis and Verification

    1. Front Matter
      Pages 73-73
    2. Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer
      Pages 75-92
    3. Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
      Pages 93-110
    4. Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
      Pages 111-127
  4. Tools and Applications

    1. Front Matter
      Pages 129-129
    2. Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró
      Pages 131-140
    3. Russ Harmer, Eugenia Oshurko
      Pages 141-158
    4. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 159-174
  5. Transformation Rules Construction and Matching

    1. Front Matter
      Pages 175-175
    2. Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer
      Pages 177-194
    3. Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus
      Pages 195-211
    4. Matthias Barkowsky, Holger Giese
      Pages 212-229
  6. Back Matter
    Pages 231-231

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.
The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.

Keywords

artificial intelligence computational grammars computational linguistics computer programming context sensitive grammars databases formal languages graph grammar graph theory graph transformation mathematical transformations model checking petri nets problem solving programming languages semantics signal processing software engineering software evaluation specifications

Editors and affiliations

  1. 1.Universidad Autónoma de MadridMadridSpain
  2. 2.Universitat Politècnica de CatalunyaBarcelonaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-23611-3
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-23610-6
  • Online ISBN 978-3-030-23611-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment