Tools to accelerate innovation along the automotive value chain

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

Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations

The lab offers a tangible approach to various SE & robotics problems.

Debugging support for Abstract State Machines

Former Projects

Model TransformatIon PerformanCe Engineering

ENsurance of Software evolUtion by Run-time cErtification

Non-linear representation of source code through Code Portals

Self-organizing resilient execution platform for IoT services