Programme of GT-VMT at ETAPS 2008
Saturday, March 29, room: Magnolia
09:00 - 10:15 SESSION 1
- Opening
- INVITED TALK
- Domain-Specific Modelling in Practice
- Juha-Pekka Tolvanen, (MetaCase and University of Jyväskylä, Finland)
10:15 - 10:40 Coffee
10:40 - 12:30 SESSION 2
- Model Transformations and Queries
- From Model Transformation to Model Integration based on the
Algebraic Approach to Triple Graph Grammars
- Frank Hermann, Hartmut Ehrig (TU Berlin, Germany), Karsten Ehrig (Univ. of Leicester, UK)
- Verifying Model Transformations by Structural Correspondence
- Anantha Narayanan, Gabor Karsai (Vanderbilt Univ., TN, USA)
- Extending Graph Query Languages by Reduction
- Erhard Weinell (RWTH Aachen, Germany)
- Improved Live Sequence Chart to Automata Translation for Verification
- Rahul Kumar, Eric Mercer (Brigham Young Univ., UT, USA)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
- Distribution and Semantics
- 05-L: Composing control flow and formula rules for computing on grids
- Paolo Bottoni (Univ. of Rome, Italy) , Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka (Univ. of Aizu, Japan)
- A Graph-Based Semantics for UML Class and Object Diagrams
- Anneke Kleppe, Arend Rensink (both Univ. of Twente, The Netherlands)
- Graph Transformations for the Resource Description Framework
- Benjamin Braatz (TU Berlin), Christoph Brandt (Univ. of Luxemburg)
- Controlling resource access in Directed Bigraphs
- Davide Grohmann, Marino Miculan (Univ. of Udine, Italy)
- Interaction nets: programming language design and implementation
- Abubaker Hassan (Univ. of Sussex, UK), Ian Mackie (Ecole Polytechnique, Palaiseau Cedex, France), Shinya Sato (Himeji Dokkyo Univ., Hyogo,Japan)
16:00 - 16:30 Coffee
16:30 - 18:00 SESSION 4
- Analysis and Visualization
- Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
- Leen Lambers, Hartmut Ehrig (TU Berlin, Germany), Gabriele Taentzer (Univ. of Marburg, Germany)
- Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based
on Graph Grammars
- Florian Brieler, Mark Minas (Univ. of the Armed Forces, Munich, Germany)
- A Static Layout Algorithm for DiaMeta.
- Sonja Maier, Mark Minas (Univ. of the Armed Forces, Munich, Germany)
Sunday, March 30, room: Magnolia
09:00 - 10:15 SESSION 5
- INVITED TALK
- Model-based Simulation
- Hans Vangheluwe, (Modelling, Simulation and Design Lab, McGill University, Canada)
10:15 - 10:40 Coffee
10:40 - 12:30 SESSION 6
- Dynamic Reconfiguration
- Dynamic Software Architectures Verification using DynAlloy
- Antonio Bucchiarone (IMT of Lucca, Italy), Juan Galeotti (Univ. of Buenos Aires, Argentina)
- Reconfiguration of Reo Connectors Triggered by Dataflow
- Christian Koehler, David Costa, Jose Proenca, Farhad Arbab (CWI, Amsterdam, The Netherlands)
- Negative Application Conditions for Reconfigurable Place/Transition Systems
- Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg (TU Berlin, Germany)
- Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
- Enrico Biermann, Tony Modica (TU Berlin, Germany)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 7
- Verification and Programming
- The GP Programming System
- Greg Manning, Detlef Plump (Univ. of York, UK)
- Type Checking C++ Template Instantiation by Graph Programs
- Karl Azab, Karl-Heinz Pennemann (Univ. of Oldenburg, Germany)
- A Graph-Based Type Representation for Objects
- Cong-Cong Xing (Nicholls State Univ., LA, USA)
- Using Graph Transformation Systems to Specify and Verify Data
Abstractions
- Luciano Baresi, Carlo Ghezzi, Andrea Mocci (Polit. of Milan, Italy), Mattia Monga (Univ. of Milan, Italy)
- Parsing of Hyperedge Replacement Grammars with Graph Parser
Combinators
- Steffen Mazanek, Mark Minas (Univ. of the Armed Forces, Munich, Germany)
16:00 - 16:30 Coffee
16:30 - 17:30 SESSION 8
- Case Studies and Tools
- Visual Design and Reasoning with the Use of Hypergraph Transformations
- Grazyna Slusarczyk, Ewa Grabska (Jagiellonian University, Krakow, Poland), Truong Le (Polish-Japanese Inst. of Information Technology, Warszawa, Poland)
- Graph Transformation Model of a Triangulated Network of Mobile Units
- Stefan Gruner (Univ. of Pretoria, South Africa)
- Some Applications of Graph Transformations in Modeling of Mechanical Systems
- Stan Zawislak, Aukasz Szypua, Miroslaw Mysliwiec, Adam Jagosz (Univ. of Bielsko-Biala, Poland)
Detailed Programme Information:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13