Call for Contributions: Doctoral Symposium

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

Austin, Texas, Sept 17-22, 2017

Event: Doctoral Symposium @ MoDELS 2017

Where: Austin, Texas
When: September 19, 2017
Submission: July 1, 2017 (abstract); July 14, 2017 (paper)

The goal of the MoDELS 2017 Doctoral Symposium is to provide an international forum for doctoral students to interact with their fellow students and faculty mentors working in the area of model-driven engineering. The Symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The Symposium will be attended by prominent experts in the field of model-driven engineering, who will actively participate in critical and constructive discussions.


Submissions (exclusively authored by the PhD student) are invited from students who have settled on a PhD topic, but are still sufficiently far away from completion to be able to take full advantage of the given feedback.

Submissions should present research in progress that is intended to lead to a PhD dissertation, using the following structure:

Submissions must not exceed five (5) pages plus two (2) pages for references. All submissions must conform to the Springer LNCS style (

All papers have to be submitted electronically in PDF format via Easychair:


Accepted submissions will be published on CEUR. Details will be communicated to the authors of accepted papers at the time of notification.

Important Dates

Abstract Submission July 1, 2017, AOE
Paper Submission July 7 July 14, 2017, AOE
Acceptance Notification July 28 August 1, 2017
Camera Ready August 15, 2017
Doctoral Symposium September 19, 2017


We are happy to announce that Betty H.C. Cheng will be giving the keynote at this year's Doctoral Symposium. Betty is a Professor of Computer Science and Engineering at Michigan State University. Her research and teaching interests are in high assurance computing systems, including formal methods for software engineering, object-oriented analysis and design, embedded systems development, SE for dynamically adaptive systems and autonomic computing, harnessing evolutionary computation and digital evolution for ultra-large scale software-intensive systems. She is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 5 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations. She holds a PhD from the University of Illinois-Urbana Champaign.


In addition to the keynote, the program will feature three sessions with presentations by students and numerous opportunities for interactions between students and more senior researchers. These interactions will include facilitated meetings during the lunch break, a discussion panel at the end of the day, and a joined dinner.




Keynote: Betty Cheng


Coffee Break


Requirements and Testing

  • Jose Bocanegra. Towards a Model-Driven Approach for Context-Aware Software
  • Mohammed Al-Refai. Improving Model-Based Regression Test Selection
  • Danielle Gaither. Verification of Nonfunctional Requirements Using Formal Semantics
  • Alexey Tazin. UML Class Diagram Composition using Software Requirements Specifications

12:30-2:00 pm

Lunch + Meetings


Distributed Systems

  • David Oudart. Model Driven Design of IT Systems for Smart Grids
  • Anirban Bhattacharjee. MDE-based Automated Provisioning and Management of Cloud Applications
  • Yogesh Barve. Model Driven Techniques for Distributed Simulations Deployments


Coffee Break


Features and Product Lines

  • Xin Zhao. Feature-oriented Modeling for Collaborative Virtual Environment Construction
  • Sanaa Alwidian. Modeling Language Evolution for Model Family Support


Discussion Panel

Best and Worst of Doctoral Studies. Antonio Vallecillo, Dimitris Kolovos, Eugene Syriani, Sahar Kokaly, Shahar Maoz.






Program Committee


For any information please contact: