MoDeVVa 2018 15th Workshop on Model-Driven Engineering, Veri cation and Validation th Workshop on Model-Driven Engineering 0 Veri cation 0 Validation (MoDeVVa) was held on October 0 th in Copenhagen 0 Denmark 0 co-located with the ACM/IEEE 0 simulate 0 meta-models 0 validation (V 0 V) of software. On the other hand 0 the growing complexity of models 0 model transformations requires e cient V 0 practitioners who are working on V 0 investigate 0 discuss topics at the intersection between MDE 0 Leen Lambers, Hasso Plattner Institute, University of Potsdam , Germany

"ProVer: an SMT-based approach for process veri cation" by Souheib Baarir, Reda Bendraou and Hakan Metin. "Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach" by Bert Van Acker, Joachim Denil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu and Jan van den Oudenhoven.

 Papers

The following papers were accepted: "Balancing Model Usability and Veri ability with SBVR and Answer Set Programming" by Deepali Kholkar, Dushyanthi Mulpuru and Vinay Kulkarni.

 Program Committee

Saad Abid (fortiss, Germany) Mira Balaban (Ben-Gurion University, Israel) Adrien Bibal (University of Namur, Belgium) Gilles Bisson (University of Grenoble, France) Frederic Boulanger (Supelec, France) Fabrice Bouquet (University of Franche-Comte, France) Marsha Chechik (University of Toronto, Canada) Hao Chen (fortiss, Germany) Chih-Hong Cheng (fortiss, Germany) Juan De Lara (Autonomous University of Madrid, Spain) John Derrick (University of She eld, UK)

Michalis Famelis (University of Montreal, Canada)

 Organizing Committee

Raquel Araujo de Oliveira (University of Toulouse III - Paul Sabatier & IRIT, France)