You are using an old browser with security vulnerabilities and can not use the features of this website.
Our research is focussed on dependable systems: These are systems where reliance can justifiably be placed on their delivered service. Dependability is usually achieved by the application of various means for improving the trustworthiness in the correctness of the delivered service. This includes, for example, but is not limited to test and verification of software and hardware components, but also the implementation of fault tolerance techniques, such that the system is able to cope with various faults during runtime. We are especially interested in