News

-- 11.07.2015 --
VOLT'15 invited talk by Gabriele Taentzer

-- 11.07.2015 --
Workshop Program is online

-- 07.05.2015 --
Submission Deadline extended to May, 22

-- 20.02.2015 --
VOLT 2015 website is online

VOLT Program

ECMFA Keynote & Coffee Break 09:00-11:00

Session 1 11:00 - 12:30

Welcome & Introduction 11:00 - 11:10
slides

Temporal Logic Specification and Analysis for Model Transformations 11:10 - 11:30
Sobhan Yassipour Tehrani and Kevin Lano
paper, slides

Modular and Reusable Verifier Design through Intermediate Verification Language 11:30 - 11:45
Zheng Cheng, Rosemary Monahan and James Power
paper, slides

UML and OCL Transformation Model Analysis: Checking Invariant Independence 11:45 - 12:00
Martin Gogolla and Frank Hilken
paper, slides

Verification of VOLT-2015 Cases in Flora-2 12:10 - 12:15
Muzaffar Igamberdiev, Georg Grossmann and Markus Stumptner
paper, slides

Model Transformation Semantic Analysis by Transformation 12:15 - 12:30
Kevin Lano, Shekoufeh Kolahdouz Rahimi and Sobhan Yassipour Tehrani
paper, slides

Lunch Break & TAP Keynote 12:30-16:00

Session 2 16:00 - 18:00

Invited Talk by Gabriele Taentzer 16:00 - 17:00
Analysis Techniques for Graph Transformation Systems
abstract, slides

Discussions in working groups 17:00 - 17:45

Presentation of results of working groups & Closure 17:45 - 18:00