Projects

GENIAL!

Tools to accelerate innovation along the automotive value chain

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

Ensure

ENsurance of Software evolUtion by Run-time cErtification

Inline

Non-linear representation of source code through Code Portals