VOLT 2013

Home

Program

Call For Papers

Submission

Committees

Important Dates

Previous Edition

STAF 2013

Contacts


News

-- 07.06.2013 --
We are proud to announce the VOLT'13 keynote speaker: Dániel Varró

-- 05.06.2013 --
Unfortunately, our announced keynote speaker Holger Giese is not able to attend VOLT after all.

-- 14.05.2013 --
We are proud to announce the VOLT'13 keynote speaker: Holger Giese

VOLT Program

Session 1 09:00 - 10:15

Welcome & Introduction 09:00 - 09:30
slides

A Classification of Model Checking-Based Verification Approaches for Software Models
Sebastian Gabmeyer, Petra Brosch and Martina Seidl 09:30 - 10:00
paper slides

Brainstorming* 10:00 - 10:15

Morning Break 10:15-10:45


Session 2 10:45 - 12:15

Model Transformations to Verify Model Transformations 10:45 - 11:15
Levi Lucio and Hans Vangheluwe
paper

Brainstorming 11:15 - 11:25

Validating Transformations for Semantic Anchoring 11:25 - 11:40
Tihamer Levendovszky, István Madari and Janos Sztipanovits
abstract slides

Brainstorming 11:40 - 11:50

On the Realization of TractsTool 11:50 - 12:05
L. Burgueño, M. Wimmer, J. Troya, A. Vallecillo
abstract slides

Brainstorming & Summary 12:05 - 12:15

Lunch 12:15 - 14:00


Session 3 14:00 - 15:30

Keynote by Dániel Varró 14:00 - 15:00
V&V challenges for model queries and transformations in design tools for avionics

Building of working groups & Initiating discussions 15:00 - 15:30
slides

Afternoon Break 15:30 - 16:00


Session 4 16:00 - 18:00

Discussions in working groups 16:00 - 17:00

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

* The idea of the brainstorming time slots in between presentations is to open the discussion from the presentation topic to more general related questions in the scope of VOLT. The goal of these brainstorming phases is to gradually refine a list of interesting discussion topics (presented in the introduction) that can be further developed by dedicated working groups in the afternoon session.