| 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|