Research Focus

The Dependable Systems and Software Chair focusses on the design-time assurance of properties like dependability, explainability, safety, and performability for intelligent systems with at least one of the following features:

Selected Research Spotlights

Below we list some samples of research outcomes all of which are rooted in our foundational science.

Funded Projects

Techniques and Tools

Various techniques and tools are developed or co-developed within the group to advance the state-of-the-art in design-time assurance. These techniques often combine ideas from different strands of research such as stochastic modelling, model checking, and process theory. See here for more details.