ACTIVITIES

The research of the Dependable Systems and Software Group can be broadly categorized in the following areas. Follow the links for more information.

	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.