GENIAL!
Tools to accelerate innovation along the automotive value chain
Projects
SORRIR
Self-organizing resilient execution platform for IoT services
MICE
Model TransformatIon PerformanCe Engineering
Ensure
ENsurance of Software evolUtion by Run-time cErtification
Inline
Non-linear representation of source code through Code Portals
FeatureIDE
Eclipse Plugin for Feature Oriented Software Development
ConMEq
Automatic Support for Proving Confluence Modulo Equivalence for CHR
FormalCog
Formal Semantics and Analysis of Cognitive Architectures
CoreASM
Debugging support for Abstract State Machines
Quadcopter Lab
The lab offers a tangible approach to various SE & robotics problems.
VariantSync
Automating the Synchronization of Code Clones