Advertisement

Graph Transformations

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

  • Hartmut Ehrig
  • Gregor Engels
  • Hans-Jörg Kreowski
  • Grzegorz Rozenberg

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Antónia Lopes, José Luiz Fiadeiro
      Pages 1-19
    2. Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
      Pages 20-37
    3. Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter et al.
      Pages 38-50
  3. Foundations 1: Behavioral Analysis

    1. Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 51-65
    2. Arend Rensink, Eduardo Zambon
      Pages 66-80
  4. Foundations 2: High-Level Graph Transformation

    1. Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
      Pages 96-110
    2. Michael Löwe
      Pages 111-125
    3. Fernando Orejas, Artur Boronat, Nikos Mylonakis
      Pages 126-140
  5. Foundations 3: Revisited Approaches

    1. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
      Pages 141-155
    2. Dominique Duval, Rachid Echahed, Frédéric Prost
      Pages 156-171
    3. Takahito Aoto, Jeroen Ketema
      Pages 172-186
  6. Foundations 4: General Transformation Models

  7. Foundations 5: Structuring and Verification

    1. Amir Hossein Ghamarian, Arend Rensink
      Pages 234-248
    2. Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König
      Pages 264-278
  8. Applications 1: Graph Transformations in Use

    1. Tamim Ahmed Khan, Olga Runge, Reiko Heckel
      Pages 279-293
    2. Christian Krause, Holger Giese
      Pages 311-325
  9. Applications 2: (Meta-)Model Evolution

    1. Gabriele Taentzer, Florian Mantz, Yngve Lamo
      Pages 326-340
    2. Bernhard Westfechtel, Manfred Nagl
      Pages 341-355
    3. Anthony Anjorin, Andy Schürr, Gabriele Taentzer
      Pages 356-370
  10. Applications 3: Incremental Approaches

    1. Gábor Bergmann, Dóra Horváth, Ákos Horváth
      Pages 371-385
    2. Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
      Pages 386-400
    3. Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr
      Pages 401-415
  11. Doctoral Symposium

    1. Andrea Corradini, Gabriele Taentzer
      Pages 416-416
    2. Christopher M. Poskitt
      Pages 420-422
  12. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Keywords

approximated verification bisimilarity concurrency graph theory parallelism

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Gregor Engels
    • 2
  • Hans-Jörg Kreowski
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Technical University of BerlinBerlinGermany
  2. 2.University of PaderbornPaderbornGermany
  3. 3.Department of Computer ScienceUniversity of BremenBremenGermany
  4. 4.Leiden Center for Natural ComputingLeiden University, LCNC - LIACSLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33654-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33653-9
  • Online ISBN 978-3-642-33654-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment
Engineering