Tools to accelerate innovation along the automotive value chain
Projects
Self-organizing resilient execution platform for IoT services
Automating the Synchronization of Software Variants

Model-based Explainable Coordination of Complex Reconfigurations
Integrated Safety and Security Engineering of Self-Adaptive Systems.
Eclipse Plugin for Feature Oriented Software Development
Generic embedding of CHR into any given programming language

Analyzing Large Configuration Spaces with Feature-Model Counting
The lab offers a tangible approach to various SE & robotics problems.
Debugging support for Abstract State Machines