News
The accepted papers are published here.
-- 03.09.2011 --
The accepted papers are online.
-- 01.08.2011 --
We received 21 submissions. The review process begins.
-- 18.07.2011 --
Deadline extension,
New submission deadline is July 31, 2011
-- 06.06.2011 --
MoDeVVa site is online
Program
(papers can be downloaded here)
Start of MoDeVVa
09:00 : Welcome + Foreword
09:05 : Keynote by Hans Vangheluwe: What about Properties?
Session 1: Verification
10:10 : Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay: Partial models: A position paper (short)Morning Break (10:30 - 11:00)
Continuation of Session 1
11:00 : Mathias Soeken, Robert Wille, Rolf Drechsler: Towards Automatic Determination of Problem Bounds for Object Instantiation in Static Model Verification (short)
11:20 : Azzam Maraee, Mira Balaban: On the Interaction of Inter-Relationship Constraints
11:50 : Amine Raji, Philippe Dhaussy, Benoit Baudry: Formal Extension of Use Cases for Context-Aware Verification
Lunch (12:20 - 14:00)
Session 2: Validation
14:00 : Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen: Specifying a Testing Oracle for Train Stations
14:30 : Surya Bahadur Kathayat, Rolv Bræk: Analyzing Realizability of Choreographies Using Initiating and Responding Flows
15:00 : Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamér Levendovszky: Runtime Model Validation with Parallel Object Constraint
Language
Afternoon Break (15:30 - 16:00)
Session 3: Transformation
16:00 : Håkan Burden, Rogardt Heldal: Natural Language Generation from Class Diagrams
16:30 : Fabian Büttner, Jordi Cabot, Martin Gogolla: On Validation of ATL Transformation Rules By Transformation Models
17:00 : Final Words + Good-bye