| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Wed, 14 Jan 2026 20:10:40 GMT
Content-Type: text/html
Content-Length: 178
Location: https://ceur-ws.org/Vol-1514/
Connection: keep-alive
HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Wed, 14 Jan 2026 20:10:41 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 29 Nov 2022 15:47:19 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"63862987-1203"
Content-Encoding: gzip
CEUR-WS.org/Vol-1514 - 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015)
MoDeVVa 2015
Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
Michalis Famelis*
* University of Toronto (Canada)
** Siemens AG (Germany)
*** Johannes Kepler University Linz (Austria)
**** Queen's University (Canada)
2015-11-17: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-17: published on CEUR-WS.org |valid HTML5|
MoDeVVa 2015
Model-Driven Engineering, Verification and Validation
Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 18th International Conference on
Model Driven Engineering Languages and Systems (MODELS 2015)
Ottawa, Canada, September 29, 2015.
Edited by
Michalis Famelis*
Daniel Ratiu**
Martina Seidl***
Gehan Selim****
* University of Toronto (Canada) ** Siemens AG (Germany)
*** Johannes Kepler University Linz (Austria)
**** Queen's University (Canada)
Table of Contents
-
Active World Model for Testing Autonomous Systems Using CEFSM
1-10
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario -
Towards Safe Model Transformation for Constraint-driven Modeling
11-17
Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed -
Domain-Specific Model Checking for Cyber-Physical Systems
18-27
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann -
Towards User-Friendly and Efficient Analysis with Alloy
28-37
Xiaoliang Wang, Adrian Rutle, Yngve Lamo -
Merging Features in Featured Transition Systems
38-43
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay -
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses
44-47
Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler
2015-11-17: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-17: published on CEUR-WS.org |valid HTML5|