Projects

GENIAL!

Tools to accelerate innovation along the automotive value chain

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.