Programme of GT-VMT

SATURDAY, March 27

14.30
15.30
Invited Lecture
The xlinkit approach to consistency management: Language, Semantics, and Tools
Wolfgang Emmerich (University College London)
15.30
16.00
Coffee

Joint Session with TACOS on Model-based Testing
16.00
18.00
Abstractions for Model-Based Testing
W. Prenninger, A. Pretschner (Technische Universitat Munchen, Germany)

Toward Translating Design Constraints to Run-Time Assertions
L. Baresi (Politecnico di Milano, Italy), M. Young (University of Oregon, USA)

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
A. Bertolino (ISTI-CNR, Pisa, Italy), E. Marchetti (ISTI-CNR, Pisa, Italy), H. Muccini (University of L'Aquila, Italy)

Validation Coverage for a Component-based SDL model of a Railway Signaling System
M. Banci, M. Becucci, A. Fantechi, E. Spinicci (University of Firenze, Italy)

SUNDAY, March 28


Visual Reasoning and Simulation
9.00
10.00
On the Visual Representation of Configuration in Reconfigurable Computing
Phan C. Vinh, Jonathan P. Bowen (London South Bank University)

Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Juan de Lara (McGill University, Montreal), Claudia Ermel, Gabriele Taentzer, Karsten Ehrig (TU Berlin)
10.00
10.30
Coffee

Model Transformation
10.30
12.30
Realizing UML Metamodel Transformations with AGG
Fabian Büttner, Martin Gogolla (University of Bremen)

Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT
Aditya Agrawal, Gyula Simon, Gabor Karsai (Vanderbilt University, Nashville)

Towards Inconsistency Handling of Object-Oriented Behavioral Models

Jochen Küster (University of Paderborn)

Graph transformation with incremental updates

Gergely Varró, Dániel Varró (Budapest University of Technology and Economics)
12.30
14.30
Lunch

Architectural and Agent-based Design
14.30
16.00
Graph Rewriting for Agent Oriented Visual Modeling
Aliaksei Novikau, Anna Perini, Marco Pistore (ITC-Irst, Trento)

Shaped Hierarchical Architectural Design
Dan Hirsch, Ugo Montanari (Universita di Pisa)

An Operational Semantics of CommUnity Based on Graph Transformation Systems

Andrea Corradini, Dan Hirsch (Universita di Pisa)
16.00
16.30
Coffee

Model Checking
16.30
17.30
Verifying Object-Based Graph Grammars
Osmar Marchi dos Santos, Fernando Luís Dotti (Pontifícia Universidade Católica do Rio Grande do Sul, Porto Allegre), Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Porto Allegre)

Optimization of Graph Transformation Systems with Time using SPIN
Szilvia Gyapay, Ákos Schmidt, Dániel Varró (Budapest University of Technology and Economics)
Evening
Pre-Conference Workshops Dinner