Current Research Projects

The Dependable Systems and Software Chair participates in the following projects. Visit the related web sites for more information.

DRESISP, Dependable Renewable Energy Supply in the South Pacific
AVACS, Automated Verification and Analysis of Complex Systems
MEALS, Mobility between Europe and Argentina applying Logics to Systems
SENSATION, Self Energy-Supporting Autonomous Computation
ROCKS, RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Further information will be added in due course.