Tools to accelerate innovation along the automotive value chain
Self-organizing resilient execution platform for IoT services
Automating the Synchronization of Software Variants
Model TransformatIon PerformanCe Engineering
Integrated Safety and Security Engineering of Self-Adaptive Systems.
Eclipse Plugin for Feature Oriented Software Development
Automatic Support for Proving Confluence Modulo Equivalence for CHR
The lab offers a tangible approach to various SE & robotics problems.
Debugging support for Abstract State Machines
ENsurance of Software evolUtion by Run-time cErtification
Non-linear representation of source code through Code Portals