Executability of Software Models – Exploring Models for Distributed Systems and Constraint Programming

PhD defense, Tuesday 17 April 2018, Miran Hasanagic.

2018.04.17 | Trine Berndt Turtiainen Scheelke

Miran Hasanagic

During his studies, Miran Hasanagic researched how different classes of abstract software models can be made executable in form of an implementation. In particular, the focus was on two specific classes of models: declarative models and distributed systems models, where the former usually is more abstract and possibly non-deterministic. For the declarative models a refinement approach targeting efficient constraint solvers is presented, and used on various chess puzzles. For the distributed systems models the focus is on combining systematic modelling extensions to reason about the core distribution properties, while code generation bridges the gap to an implementation, and it is applied on two industrial case studies: a distributed train interlocking system and a harvest logistics planning system.

The PhD degree was completed at the Department of Engineering, Science and Technology, Aarhus University.

This résumé was prepared by the PhD student.

Time: Tuesday 17. April 2018 at 13.00
Place: Building 5125 (Edison), room 114E, Katrinebjerg, Department of Engineering, Finlandsgade 22, Aarhus University, 8200 Aarhus N.
Title of PhD thesis: Exploring the Limits of Executability for Formal Software Models
Contact information: Miran Hasanagic, e-mail: miran.hasanagic@eng.au.dk
Members of the assessment committee:
Professor Andrzej Wasowski, IT University, Denmark
Head of Department Matthias Riedl, Institut für Automation und Kommunikation, Magdeburg
Professor Preben Kidmose (chair), Department of Engineering, Aarhus University
Main supervisor:
Professor Peter Gorm Larsen, Department of Engineering, Aarhus University
Language: The PhD thesis will be defended in English


The defence is public.
The dissertation is available for reading at the Graduate School of Science and Technology/GSST,
Ny Munkegade 120, building 1520, rooms 128-134, 8000 Aarhus C.

PhD defence
Comments on content: 
Revised 16.04.2018