GENIAL!
Tools to accelerate innovation along the automotive value chain
Projects
SORRIR
Self-organizing resilient execution platform for IoT services
VariantSync
Automating the Synchronization of Software Variants
MICE
Model TransformatIon PerformanCe Engineering
SafeSec
Integrated Safety and Security Engineering of Self-Adaptive Systems.
FeatureIDE
Eclipse Plugin for Feature Oriented Software Development
ConMEq
Automatic Support for Proving Confluence Modulo Equivalence for CHR
Quadcopter Lab
The lab offers a tangible approach to various SE & robotics problems.
CoreASM
Debugging support for Abstract State Machines
