Tools to accelerate innovation along the automotive value chain

Data-Driven Search and Analysis of Research Software

A Static Analysis Framework for the R Programming Language

Model-based Explainable Coordination of Complex Reconfigurations

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

Eclipse Plugin for Feature Oriented Software Development

A Serious Game to Teach Programming Concepts to Novices

Competence Cluster Anonymization for Interconnected Mobility Systems

Tools to accelerate innovation along the automotive value chain

Automating the Synchronization of Software Variants

Self-organizing resilient execution platform for IoT services

Analyzing Large Configuration Spaces with Feature-Model Counting

Integrated Safety and Security Engineering of Self-Adaptive Systems.

Debugging support for Abstract State Machines

 

Generic embedding of CHR into any given programming language

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

Model TransformatIon PerformanCe Engineering

ENsurance of Software evolUtion by Run-time cErtification

Non-linear representation of source code through Code Portals