Program for MoDeVVa 2014 on Tuesday September 30 2014

Keynote speech by Markus Völter: Language Workbenches: Opportunities and Challenges for V&V

More details will be announced later.

09:00-09:15WelcomeFrédéric Boulanger, Daniel Ratiu
09:15-10:30Keynote: Language Workbenches: Opportunities and Challenges for V&VMarkus Völter
10:30-11:00Coffee break 
11:00-11:30Assessing the Quality of Meta-modelsJesús J. López Fernández, Esther Guerra and Juan De Lara
11:30-12:00Towards Scalable Multidimensional Execution Traces for xDSMLsErwan Bousse, Benoit Combemale and Benoit Baudry
12:00-12:30Verifying Modelling Languages using Lightning: a Case StudyLoïc Gammaitoni and Pierre Kelsen
14:00-14:30Scalable verification of model transformationsXiaoliang Wang, Adrian Rutle and Yngve Lamo
14:30-15:00A Viewpoint-Based Approach for Formal Safety & Security Assessment of System ArchitecturesJulien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali and Frédérique Vallée
15:00-15:30Modeling Spatial Aspects of Safety-Critical Systems with Focus-STMaria Spichkova, Jan Olaf Blech, Peter Herrmann and Heinz Schmidt
15:30-16:00Coffee break 
16:00-16:30Towards a Base Model for UML and OCL VerificationFrank Hilken, Philipp Niemann, Robert Wille and Martin Gogolla
16:30-17:00Bayesian Reasoning Over ModelsSebastian Herzig and Christiaan Paredis
17:00-17:30Colored Petri Net-based Modeling and Formal Analysis of Component-based ApplicationsPranav Srinivas Kumar, Abhishek Dubey and Gabor Karsai
17:30-18:00Discussion & wrapup