Proceedings

ICGT 2014 Proceedings at Springer.

Program

21 - 25 July 2014
Please note that the workshop times may change.

TIME MON TUE WED THU FRI
9:10-10:30 STAF Doctoral Symposium


GCM 2014
ICGT Keynote
Giorgio Delzanno
GraBaTs 2014
10:30-11:00 Break
11:00-12:30 Foundations of Model Synchronization
(joint session with ICMT)
Meta-Modelling and Model Transformations
(joint session with ICMT)
Applications
12:30-14:00 Lunch Break
14:00-15:30 Triple Graph Grammars and Their Applications
(joint session with ICMT)
Rewriting and Applications in Biology
15:30-16.00 Break
16:00-17:30 Verification (1) Graph Languages and Graph Transformation Verification (2)
20:00-22:00 ICGT Dinner


DETAILED ICGT SESSION LISTING
TUESDAY, 22 JULY
9:10-10:30 ICGT Keynote
Chair: Barbara König

Giorgio Delzanno
Parameterized Verification and Model Checking for Distributed Broadcast Protocols

11:00-12:30 Joint Session with ICMT (ICMT Papers): Foundations of Model Synchronization
Chair: Haiyan Zhao

Zinovy Diskin, Arif Wider, Hamid Gholizadeh and Krzysztof Czarnecki
A Taxonomic Space for Increasingly Symmetric Model Synchronization

Fernando Orejas and Elvira Pino
Correctness of Incremental Model Synchronization with Triple Graph Grammars

Huseyin Ergin and Eugene Syriani
Towards A Language To Express Design Patterns for Graph-Based Model Transformation

14:00-15:30 Joint Session with ICMT (ICMT Papers): Triple Graph Grammars and Their Applications
Chair: Eugene Syriani

Dominique Blouin, Alain Plantec, Frank Singhoff, Pierre Dissaux and Jean-Philippe Diguet
Synchronization of Models of Large Meta-Models with Triple Graph Grammars: an Experience Report

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel and Claudia Ermel
Triple Graph Grammars in the Large for Translating Satellite Procedures

Erhan Leblebici, Anthony Anjorin and Andy Schürr
Developing eMoflon with eMoflon

16:00-17:30 Verification (1)
Chair: Frank Hermann

Leen Lambers and Fernando Orejas
Tableau-based Reasoning for Graph Properties

Christina Jansen and Thomas Noll
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs

Christopher M. Poskitt and Detlef Plump
Verifying Monadic Second-Order Properties of Graph Programs

WEDNESDAY, 23 JULY
11:00-12:30 Joint Session with ICMT (ICGT Papers): Meta-Modelling and Model Transformations
Chair: Holger Giese

Thorsten Arendt, Annegret Habel, Hendrik Radke and Gabriele Taentzer
From Core OCL Invariants to Nested Graph Constraints

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley J. Oakes
Specification and Verification of Graph-Based Model Transformation Properties

Anthony Anjorin, Erhan Leblebici, Andy Schürr and Gabriele Taentzer
A Static Analysis of Non-Confluent Triple Graph Grammars for Efficient Model Transformation

12:30-14:00 ICGT Steering Committee Meeting (during lunch)
14:00-15:30 Rewriting and Applications in Biology
Chair: Andrea Corradini

Vincent Danos, Reiko Heckel and Pawel Sobocinski
Transformation and Refinement of Rigid Structures

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer and Sandro Stucki
Reversible Sesqui-Pushout Rewriting

Jonathan Hayman and Tobias Heindel
On Pushouts of Partial Maps

16:00-17:30 Graph Languages and Graph Transformation
Chair: Reiko Heckel

H.N. de Ridder and N. de Ridder
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages

Andrea Corradini and Reiko Heckel
Canonical Derivations with Negative Application Conditions

Harald König, Michael Löwe, Christoph Schulz and Uwe Wolter
Van Kampen Squares for Graph Transformation

THURSDAY, 24 JULY
11:00-12:30 Applications
Chair: Andy Schürr

Hans-Joerg Kreowski, Sabine Kuske, Aaron Lye and Melanie Luderer
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis

H.J. Sander Bruggink
Towards Process Mining with Graph Transformation Systems

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall and Thomas Bellet
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling

16:00-17:30 Verification (2)
Chair: Detlef Plump

Christina Jansen, Florian Göbe and Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

Frederik Deckwerth and Gergely Varro
Attribute Handling for Generating Preconditions from Graph Constraints

Manfred Nagl
Gothic Style and Informatics

20:00-22:00 ICGT Dinner


List of Accepted ICGT Papers

  • H.N. de Ridder and N. de Ridder. The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages
  • Thorsten Arendt, Annegret Habel, Hendrik Radke and Gabriele Taentzer. From Core OCL Invariants to Nested Graph Constraints
  • Jonathan Hayman and Tobias Heindel. On Pushouts of Partial Maps
  • Harald König, Michael Löwe, Christoph Schulz and Uwe Wolter. Van Kampen Squares for Graph Transformation
  • Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. Specification and Verification of Graph-Based Model Transformation Properties
  • H.J. Sander Bruggink. Towards Process Mining with Graph Transformation Systems
  • Vincent Danos, Reiko Heckel and Pawel Sobocinski. Transformation and Refinement of Rigid Structures
  • Andrea Corradini and Reiko Heckel. Canonical Derivations with Negative Application Conditions
  • Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer and Sandro Stucki. Reversible Sesqui-Pushout Rewriting
  • Hans-Joerg Kreowski, Sabine Kuske, Aaron Lye and Melanie Luderer. Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis
  • Anthony Anjorin, Erhan Leblebici, Andy Schürr and Gabriele Taentzer. A Static Analysis of Non-Confluent Triple Graph Grammars for Efficient Model Transformation
  • Leen Lambers and Fernando Orejas. Tableau-based Reasoning for Graph Properties
  • Christopher M. Poskitt and Detlef Plump. Verifying Monadic Second-Order Properties of Graph Programs
  • Christina Jansen and Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs
  • Christina Jansen, Florian Göbe and Thomas Noll. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
  • Hakim Belhaouari, Agnès Arnould, Pascale Le Gall and Thomas Bellet. Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
  • Frederik Deckwerth and Gergely Varro. Attribute Handling for Generating Preconditions from Graph Constraints