21st MODELS 2018: Copenhagen, Denmark

Foundations

Transformations

Verification, Validation and Planning

Selected Papers for Industry Day

Model Analysis and Testing

Experience Report

Empirical Studies

Patterns, Refactoring and Refinement

Model Management

Hardware Embedded Systems and CPS

Graphical Modelling and Modelling Applications

Transformations 2

Synthesis & Simulation

a service of Schloss Dagstuhl - Leibniz Center for Informatics