Tools to accelerate innovation along the automotive value chain

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

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

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

Model TransformatIon PerformanCe Engineering

ENsurance of Software evolUtion by Run-time cErtification

Non-linear representation of source code through Code Portals