ACM/IEEE 18th International Conference on
Model Driven Engineering Languages and Systems

Keynotes     Papers     Tutorials     Workshops     Panels     Posters/Demos/Exbibits

Doctoral Symposium Program

Proceedings, published by CEUR

See also the original CFP

September 29, 2015

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