VOLT 2016

Home

Program

Call For Papers

Committees

Important Dates

Previous Editions

MoDELS 2016

Contacts


News

-- 28.09.2016 --
Proceedings are published.
-- 01.04.2016 --
We relocated to MoDELS. Please notice the new submission dates.
-- 10.02.2016 --
VOLT 2016 website is online

Program

Session 1: 09:00 -- 10:30

09:00 -- 09:10 Opening

09:10 -- 09:30 Zheng Cheng and Massimo Tisi: Towards Incremental Deductive Verification for ATL
09:30 -- 09:50 Roberto Rodriguez-Echeverria, Adrian Rutle and Fernando Macias: On Reducing Model Transformation Testing Overhead
09:50 -- 10:10 Loli BurgueƱo, Frank Hilken, Antonio Vallecillo and Martin Gogolla: Generating Effective Test Suites for Model Transformations Using Classifying Terms
10:10 -- 10:30 Kevin Lano and Sobhan Yassipour Tehrani: Verified Bidirectional Transformations by Construction

10:30 -- 11:00 Coffee Break

Session 2: 11:00 -- 12:30

11:00 -- 11:20 Moussa Amrani and Pierre-Yves Schobbens: Real-Time Model-Driven Engineering: An Overview

11:20 -- 12:30 Plenary Discussion

Proceedings

The published proceedings are available here.