Tools to accelerate innovation along the automotive value chain
Projects
Data-Driven Search and Analysis of Research Software
Automating the Synchronization of Software Variants
![](/fileadmin/website_uni_ulm/iui.inst.170/bilder/slider/mentor-banner.jpg)
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
![](/fileadmin/_processed_/1/5/csm_FMCLogo_956b53bf5d.png)
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