Sixth International Conference on Graph Transformation
- Modeling and Analysis of Dynamic Structures -
University of Bremen, Germany
24 - 29 September, 2012
Programme
Please note that the workshop times may change.
| TIME | MO | TUE | WED | THU | FR | SA |
| 8.30-9.30 |
Registration 9.15: Opening |
|||||
| 9.30-10.30 | GraBaTs 2012 |
Keynote Antónia Lopes |
Surprise Session |
Keynote Alfonso Pierantonio |
Keynote Rolf Drechsler |
GCM 2012
PNGT 2012 |
| 10.30-11.00 | Break | |||||
| 11.00-12.30 |
Foundations 1 Behavioral Analysis |
Applications 2 (Meta-)Model Evolution |
Foundations 3 Revisited Approaches |
Foundations 5 Structuring and Verification |
||
| 12.30-14.30 | Lunch Break | |||||
| 14.30-16.00 |
Applications 1 Graph Transformations in Use |
Doctoral Symposium |
Applications 3 Incremental Approaches |
GCM 2012 | PNGT 2012 | |
| 16.00-16.30 | Break | Break |
Excursion & Conference Dinner |
Break | ||
| 16.30-18.00 |
17.00: Registration |
Foundations 2 High-level Graph Transformation |
Foundations 4 General Transformation Models |
|||
| 18.00 |
Welcome Reception |
|||||
| DETAILED SESSION LISTING | |
| KEYNOTES | |
|
Antónia Lopes A Graph-Based Design Framework for Services Alfonso Pierantonio Coupled Evolution: How to Manage Evolutionary Togetherness in Metamodeling Ecosystems Rolf Drechsler Completeness-Driven Development | |
| FOUNDATIONS | APPLICATIONS |
|
F1 - Behavioral Analysis Andrea Vandin, Alberto Lluch Lafuente, Fabio Gadducci Exploiting Over- and Under-approximations for Infinite-state Counterpart Models Arend Rensink, Eduardo Zambon Pattern-based Graph Abstraction Barbara König, Jan Stückrath Well-structured Graph Transformation Systems with Negative Application Conditions |
A1 - Graph Transformations in Use Tamim Ahmed Khan, Olga Runge, Reiko Heckel Testing against Visual Contracts: Model-Based Coverage Trăian Şerbănuţă, Grigore Roşu A Truly Concurrent Semantics for the K Framework Based on Graph Transformations Christian Krause, Holger Giese Probabilistic Graph Transformation Systems |
|
F2 - High-level Graph Transformation
Hartmut Ehrig, Reiko Heckel, Frank Hermann, Ulrike Golas Parallelism and Concurrency of Stochastic Graph Transformations Michael Löwe Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation Fernando Orejas, Artur Boronat, Nicos Mylonakis Borrowed Contexts for Attributed Graphs |
A2 - (Meta-)Model Evolution Gabriele Taentzer, Florian Mantz, Yngve Lamo Co-Transformation of Graphs and Type Graphs with Application to Model Co-Evolution Bernhard Westfechtel, Manfred Nagl Graph Transformations for Evolving Domain Knowledge Anthony Anjorin, Andy Schürr, Gabriele Taentzer Construction of Integrity Preserving Triple Graph Grammars |
|
F3 - Revisited Approaches Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars Dominique Duval, Rachid Echahed, Frederic Prost Graph Transformation with Focus on Incident Edges Takahito Aoto, Jeroen Ketema Rational Term Rewriting Revisited: Decidability and Confluence |
A3 - Incremental Approaches Gábor Bergmann, Dóra Horváth, Ákos Horváth Applying Incremental Graph Transformation to Existing Models in Relational Databases Gábor Bergmann, Istvan Rath, Tamás Szabó, Paolo Torrini, Dániel Varró Incremental Pattern Matching for Efficient Computation of Transitive Closures Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr Efficient Model Synchronization with Precedence Triple Graph Grammars |
|
F4 - General Transformation Models Ulrike Golas A General Attribution Concept for Models in M-adhesive Transformation Systems Reiko Heckel DPO Transformation with Open Maps Annegret Habel, Detlef Plump M,N-Adhesive Transformation Systems |
|
|
F5 - Structuring and Verification Amir Hossein Ghamarian, Arend Rensink Generalised Compositionality in Graph Transformation Holger Giese, Leen Lambers Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking Christoph Blume, Harrie Jan Sander Bruggink, Dominik Engelke, Barbara König Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking |
|
| DOCTORAL SYMPOSIUM | |
|
Yongzhi Ong Multi-scale Rule-based Graph Transformation using the Programming Language XL Christopher M. Poskitt Verification of Graph Programs Andrea Vandin Specification and Verification of Modal Properties for Structured Systems | |
In case of questions, please contact us at icgt2012@informatik.uni-bremen.de.
