AKTIVITÄTEN

Forschungsaktivitäten

Die Forschungsaktivitäten der Arbeitsgruppe für Verlässliche Systeme und Software könnnen grob wie folgt kategorisiert werden. Besuchen Sie die jeweiligen Webseiten für mehr Informationen (in English).


Tools for Quantitative System Evaluation.
Modelling and Description of Stochastic Timed Systems.
Formal Approaches to Model-Driven Quality of Service Guarantees.
Energy Aware Networking Principles.
Validation of Multiprocessor Multithreaded Architectures.
Quantitative Model Checking of Software.