Vol-1713
urn:nbn:de:0074-1713-7

Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

MoDeVVa 2016
Model-Driven Engineering, Verification and Validation

Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)

Saint-Malo, France, October 3, 2016.

Edited by

Michalis Famelis *
Daniel Ratiu
Gehan M. K. Selim *

* University of British Columbia, Canada
** Siemens AG , Germany
*** McMaster University, Canada

Table of Contents

Preface

Mapping Component Models on Distributed Architectures: Correctness Checking 1-9
Christian Attiogbé
Discovering Timing Feature Interactions with Timed UML 2 Interactions 10-19
Harald Störrle, Alexander Knapp
Abstract Interpretation for Block Diagrams - Two Case Studies 20-29
Christian Dernehl, Jan Kühn, Stefan Kowalewski
A DSL to Feedback Formal Verification Results 30-39
Faiez Zalila, Xavier Crégut, Marc Pantel
Integrating an SMT-Based ModelFinder into USE 40-45
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Modeling State Diagrams with And-Cross Transitions 46-53
Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge
A Systematic Approach for Designing Mutation Operators for MDE Languages 54-59
Faisal Alhwikem, Richard Paige, Louis Rose, Rob Alexander

2016-10-24: submitted by Gehan M. K. Selim, metadata incl. bibliographic data published under Creative Commons CC0
2016-10-24: published on CEUR-WS.org |valid HTML5|