Workshop Preliminary Programme
Each speaker is kindly asked to use not more than
- 15 minutes for the talk itself,
- 10 minutes for live tool demonstration and
- 5 minutes for the discussions
Presenters of long papers have and additional 10 minutes for their talk.
Thursday, September 21st |
|
| 16:30 - 16:40 | Welcome |
| Session 1: Tools for graph based models and visual languages (Chair: TBD) | |
| 16:40 - 17:20 | Mark Minas: Generating Meta-Model-Based Freehand Editors |
| 17:20 - 18:00 | Karsten Ehrig, Claudia Ermel, Gabriele Taentzer,
Eduard Weiss: Object Oriented and Rule-based Design of Visual Languages using Tiger |
| 18:00 - 18:30 | Carsten Amelunxen, Tobias Rötschke: Creating Well-Structured Specifications in MOFLON |
| 18:30 - 19:00 | David Déharbe, Anamaria Martins Moreira, Demostenes
Sena: AGraphs: Definition, implementation and tools |
| 20:00 | GraBaTs dinner |
Friday, September 22nd |
|
| Session 2: Analysis tools (Chair: TBD) | |
| 10:30 - 11:10 | Arend Rensink: Isomorphism checking in GROOVE |
| 11:10 - 11:40 | Leif Geiger, Albert Zündorf: eDOBS: Graphical Debugging for Eclipse |
| 11:40 - 12:10 | Carsten Köllmann, Michael Goedicke:
Automation of Java Code Analysis for Programming Exercises |
| 12:10 - 12:40 | Karl Azab, Annegret Habel, Karl-Heinz Pennemann,
Christian Zuckschwerdt: ENFORCe: A System for Ensuring Formal Correctness of High-level Programs |
| 12:40 - 14:00 | Lunch |
| Session 3: Graph transformation (Chair: TBD) | |
| 14:00 - 14:30 | Daniel Balasubramanian, Anantha Narayanan, Chris van
Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT |
| 14:30 - 15:00 | Ulrike Ranger, Erhard Schultchen, Christof Mosler:
Specifying Distributed Graph Transformation Systems |
| 15:00 - 15:30 | Susanne Jucknath-John, Dennis
Graf, Gabriele Taentzer: Evolutionary Layout of Graph Transformation Sequences |
| 15:30 - 16:00 | Break |
| Session 4: Applications of graph based tools (Chair: TBD) | |
| 16:00 - 16:30 | Thorsten Meinl, Marc Wörlein, Olga Urzova, Ingrid
Fischer, Michael Philippsen: The ParMol package for frequent subgraph mining |
| 16:30 - 17:00 | Christian Fuss, Christof Mosler, Marcel Pettau: RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems |
| 17:00 - 17:30 | Final discussions and closing ceremony |
| 17:30 - 18:00 | Coffee Break |
Please note that the exact schedule of this program is still subject to minor changes.