Keynotes Papers Tutorials Workshops Panels Posters/Demos/Exbibits
Proceedings, published by CEUR
8-8:15 Workshop opening and introduction: Marsha and Dimitris
8:15-8:55 Ghanem Soltana. A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
8:55-9:35 Vahdat Abdelzad. Extended Traits for Model Driven Software Development
9:35-10:15 Amal Khalil. Optimizing the Symbolic Execution of Communicating and Evolving State Machines
10:15-10:40 break
10:40-11:20 Adnan Faisal. Unified Approach for Adding Middleware Completions to Software Performance Models
11:20-12:00 Ivan Ruchkin. Towards Integration of Modeling Methods for Cyber-Physical Systems
12-1 lunch
1-1:40 Lars Stockmann. Debugging Models in the Context of Automotive Software Development
1:40-2:20 Jin Wang and Huang Zhiqiu. Privacy Requirement Modeling and Verification in Cloud Computing
2:20-3 Opeyemi Adesina. Integrating Formal Methods with Model-Driven Engineering
3-3:20 break
3:20-4 Matthias Kowal. Multi-Perspective Modeling and Performance Analysis of Software Product Lines
4-4:55 panel
4:55-5 Workshop closing: Marsha and Dimitris