Doctoral Symposium

Doctoral Symposium

The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The symposium will be accompanied by prominent experts who will actively participate in critical discussions.

The doctoral symposium is held on Monday, July 17 in Room Aiken (first floor)..

14:00 – 15:30

Session 1

  • Optimisation Methods for Model-Driven Engineering

    Alexandru Burdusel

  • Parallel Execution of Model Management Programs

    Sina Madani

  • Action Inferences from IoT Devices: a Risk Detection Case Study Applied in Smart Home

    Abdullah E. Alhejaili

15:30 – 16:00 Coffee Break
16:00 – 17:30

Session 2

  • Analysis and Abstraction of Graph Transformation Systems via Type Graphs

    Dennis Nolte

  • Rule Formats for Nominal Modal Transition Systems

    Anke St├╝ber

  • On the Foundation of Isabelle/HOL

    Arve Gengelbach


The proceedings of the STAF 2017 Doctoral Symposium will be published at CEUR-WS.