Research Directions and Competences

Dependable systems:

Design, implementation, analysis, and management of reliable, highly available and safety-critical systems

Model driven software development:

Application of precise models and model-transformations in software design, implementation and project management

Formal methods:

Application of formal methods in the design, synthesis, verification and validation of computer systems Read more »