News

-- 20.03.2012 --
The list of accepted papers is online!

-- 30.01.2012 --
Deadline extension! New deadline is February 6, 2012

-- 11.11.2011 --
Call for Papers is available

-- 06.11.2011 --
VOLT site is online

Program

Start of VOLT

Session 1

09:00 : Welcome + Introduction
09:30 : Keynote by Pieter Mosterman: Model Transformations and Testing in Model-Based Design of Cyber-Physical Systems

Morning Break (10:30 - 11:00)

Session 2

11:00 : Levi Lucio, Moussa Amrani, Juergen Dingel, Gehan Selim, Benoit Combemale, Hans Vangheluwe, Yves Letraon and James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations
11:30 : Hanh Nhi Tran and Christian Percebois: Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
12:00 : Tamás Mészáros and Tihamér Levendovsky: Verified Operational Patterns with Graph Transformation

Lunch (12:30 - 14:00)

Session 3

14:00 : Eugene Syriani and Jeff Gray: Challenges for Addressing Quality Factors in Model Transformation
14:30 : Rick Salay, Marsha Chechik and Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements
15:00 : Starting the discussion ...

Afternoon Break (15:30 - 16:00)

Session 4

16:00 : All Participants: Discussions (more information is available soon ...)

17:00 : Final Words + Good-bye