Proceedings
Program
| DETAILED ICGT SESSION LISTING | |
| MONDAY, 20 JULY | |
| 9:00-17:30 | GCM Workshop Program |
| TUESDAY, 21 JULY | |
| 9:00-10:30 | ICGT Keynote Chair: Bernhard Westfechtel Gerti Kappel From Software Modeling to System Modeling – Transforming the Change |
| 10:30-11:00 | Break |
| 11:00-12:30 | Algebraic Graph Rewriting Chair: Franceso Parisi-Presicce Michael Löwe Polymorphic Sesqui-Pushout Graph Rewriting Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro AGREE - Algebraic Graph Rewriting with Controlled Embedding Rodrigo Machado, Leila Ribeiro and Reiko Heckel Characterizing conflicts between rule application and rule evolution in graph transformation systems |
| 12:30-14:00 | Lunch Break |
| 14:00-15:30 | Languages Chair: Arend Rensink Mateus de Oliveira Oliveira Reachability in Graph Transformation Systems and Slice Languages Aleks Kissinger and Vladimir Zamdzhiev Equational reasoning with context-free families of string diagrams Julia Padberg Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs |
| 15:30-16:00 | Break |
| 16:00-17:30 | Joint Session with ICMT (ICMT Papers) Chair: (ICMT) Elie Richa, Etienne Borde and Laurent Pautet Translating ATL Model Transformations to Algebraic Graph Transformations Roland Kluge, Gergely Varró and Andy Schürr A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation Frank Trollman and Sahin Albayrak Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models |
| WEDNESDAY, 22 JULY | |
| 11:00-12:30 | Applications Chair: Andy Schürr Tassilo Horn Graph Pattern Matching as an Embedded Clojure DSL Jens Weber, Simon Diemert and Morgan Price Using Graph Transformation for Formalizing Prescriptions and Monitoring Adherence Pieter Kwantes, Pieter van Gorp, Jetty Kleijn and Arend Rensink Towards compliance verification between global and local process models |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Amalgamated Graph Transformation Chair: Andrea Corradini Gabriele Taentzer and Ulrike Golas Towards Local Confluence Analysis for Amalgamated Graph Transformation Erhan Leblebici, Anthony Anjorin, Andy Schürr and Gabriele Taentzer Multi-Amalgamated Triple Graph Grammars Frank Drewes, Berthold Homann and Mark Minas Predictive Top-down Parsing for Hyperedge Replacement Grammars |
| 15:30-16:00 | Break |
| 16:00-17:00 | Tool Presentations Chair: Thomas Buchmann Erhan Leblebici, Anthony Anjorin and Andy Schürr Tool Support for Multi-Amalgamated Triple Graph Grammars Jan Stückrath Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems Márton Búr, Zoltán Ujhelyi, Ákos Horváth and Daniel Varro Local search-based pattern matching features in EMF-IncQuery |
| THURSDAY, 23 JULY | |
| 11:00-12:30 | Verification Chair: Detlef Plump H. J. Sander Bruggink, Barbara König, Dennis Nolte and Hans Zantema Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel and Gabriele Taentzer Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations Johannes Dyck and Holger Giese Inductive Invariant Checking with Partial Negative Application Conditions |
List of Accepted ICGT Papers
- Michael Löwe. Polymorphic Sesqui-Pushout Graph Rewriting
- Frank Drewes, Berthold Homann and Mark Minas. Predictive Top-down Parsing for Hyperedge Replacement Grammars
- Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro. AGREE - Algebraic Graph Rewriting with Controlled Embedding
- H. J. Sander Bruggink, Barbara König, Dennis Nolte and Hans Zantema. Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
- Gabriele Taentzer and Ulrike Golas. Towards Local Confluence Analysis for Amalgamated Graph Transformation
- Erhan Leblebici, Anthony Anjorin, Andy Schürr and Gabriele Taentzer. Multi-Amalgamated Triple Graph Grammars
- Julia Padberg. Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
- Mateus de Oliveira Oliveira. Reachability in Graph Transformation Systems and Slice Languages
- Aleks Kissinger and Vladimir Zamdzhiev. Equational Reasoning with Context-free Families of String Diagrams
- Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel and Gabriele Taentzer. Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
- Rodrigo Machado, Leila Ribeiro and Reiko Heckel. Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems
- Tassilo Horn. Graph Pattern Matching as an Embedded Clojure DSL
- Jens Weber, Simon Diemert and Morgan Price. Using Graph Transformation for Formalizing Prescriptions and Monitoring Adherence
- Pieter Kwantes, Pieter van Gorp, Jetty Kleijn and Arend Rensink. Towards Compliance Verification Between Global and Local Process Models
- Johannes Dyck and Holger Giese. Inductive Invariant Checking with Partial Negative Application Conditions
- Erhan Leblebici, Anthony Anjorin and Andy Schürr. Tool Support for Multi-Amalgamated Triple Graph Grammars
- Jan Stückrath. Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
- Márton Búr, Zoltán Ujhelyi, Ákos Horváth and Daniel Varro. Local Search-based Pattern Matching Features in EMF-IncQuery