Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. Volume 1235 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

Conference: MoDELS2014

Abstract is missing.

Assessing the Quality of Meta-modelsJesús J. López-Fernández, Esther Guerra, Juan de Lara. 3-12 [doi]

Towards Scalable Multidimensional Execution Traces for xDSMLsErwan Bousse, Benoît Combemale, Benoit Baudry. 13-18 [doi]

Verifying Modelling Languages using Lightning: a Case StudyLoïc Gammaitoni, Pierre Kelsen, Fabien Mathey. 19-28 [doi]

Scalable Verification of Model TransformationsXiaoliang Wang, Adrian Rutle, Yngve Lamo. 29-38 [doi]

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System ArchitecturesJulien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée. 39-48 [doi]

Modeling Spatial Aspects of Safety-Critical Systems with Focus-STMaria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt. 49-58 [doi]

Towards a Base Model for UML and OCL VerificationFrank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla. 59-68 [doi]

Bayesian Reasoning Over ModelsSebastian J. I. Herzig, Christiaan J. J. Paredis. 69-78 [doi]

Colored Petri Net-based Modeling and Formal Analysis of Component-based ApplicationsPranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai. 79-88 [doi]

runs on WebDSL