Research

Overview

Our research focuses on methods, tools, and theories for the construction of manageable, reliable, adaptable, and evolvable software systems, ranging from embedded systems to large-scale systems. In our research projects, we concentrate on software product lines, but aim at applying our results also to other fields.

In particular, we are interested in:

In our work, we combine formal and empirical methods. Furthermore, we develop tools to demonstrate the practicality of our research results.

Projects

Ongoing

Completed