Project 01:
Operational Explanations Resolving Emergent Conflicts for Partially Informed SoCPS Agents
Lead-supervisor: Prof. Martin Fränzle (Oldenburg)
Co-supervisors: Prof. Michael Beetz,
Prof. Sibylle Schupp
Project 02:
Knowledge-Based Explanations of Cyber-Physical Systems
Lead-supervisor: Prof. Michael Beetz (Bremen)
Co-supervisors: Prof. Sebastian Lehnhoff,
Prof. Martin Fränzle
Project 03:
Explanations in Hierarchical Control Schemes
Lead-supervisor: Prof. Sebastian Lehnhoff (Oldenburg)
Co-supervisors: Prof. Rainer Koschke,
Prof. Michael Beetz
Project 04:
Executable Explanations of Control Software
Lead-supervisor: Prof. Sibylle Schupp (Hamburg)
Co-supervisors: Prof. Görschwin Fey,
Prof. Rainer Koschke
Project 05:
Explanations of Interrelations in Digitally Controlled Systems
Lead-supervisor: Prof. Rainer Koschke (Bremen)
Co-supervisors: Prof. Heiko Falk,
Prof. Martin Fränzle
Project 06:
Explanations of Countercontractual Software Behaviour
Lead-supervisor: Prof. Heike Wehrheim (Oldenburg)
Co-supervisors: Prof. Rolf Drechsler,
Prof. Verena Klös
Project 07:
Self-Explaining Adaptive Software
Lead-supervisor: Prof. Verena Klös (Oldenburg)
Co-supervisors: Prof. Rolf Drechsler,
Prof. Sibylle Schupp
Project 08:
Explanations of Dynamic Run-Time Resource Allocations
Lead-supervisor: Prof. Heiko Falk (Hamburg)
Co-supervisors: Prof. Heike Wehrheim,
Prof. Verena Klös
Project 09:
Explanations in a Virtual Prototype based Design Flow
Lead-supervisor: Prof. Rolf Drechsler (Bremen)
Co-supervisors: Prof. Görschwin Fey,
Prof. Heiko Falk
Project 10:
Self-Explaining Digital Hardware using Temporal Specifications
Lead-supervisor: Prof. Görschwin Fey (Hamburg)
Co-supervisors: Prof. Heike Wehrheim,
Prof. Sebastian Lehnhoff