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