| Vol-1955 urn:nbn:de:0074-1955-0 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# STAF-DS 2017
STAF 2017 Doctoral Symposium

### Proceedings of the Doctoral Symposium Held as a Part of STAF 2017
co-located with Software Technologies: Applications and Foundations (STAF 2017)

### Marburg, Germany, July 17, 2017.

Edited by

### Davide Di Ruscio *
Barbara König **

* Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila, 67010 L'Aquila (Italy)
** Department of Computer Science and Applied Cognitive Science, Unviersity of Duisburg-Essen, 47057 Duisburg (Germany)

## Table of Contents

- Preface

### Contributed Papers

- 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
- 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

2017-10-07: submitted by Davide Di Ruscio, Barbara König, metadata incl. bibliographic data published under Creative Commons CC0
2017-10-12: published on CEUR-WS.org |valid HTML5|