Research activity in analysis, testing and validation of software systems, formal methods for modeling complex software-intensive systems; fault tolerant systems, quantitative evaluation of the dependability and quality of service; evaluation and certification of ICT products and processes.

The most significant results have been methods, techniques and tools for assessing and enhancing the quality of software-intensive systems and the related development processes. Notably, the research has addressed the challenges posed by the emerging paradigms of software development, like component-based software, service-oriented computing, model-driven development and evaluation. Novel approaches proposed include formal specification and verification techniques, modelling and analysis of inter-dependences in critical infrastructures, as well as testing, monitoring, and certification.


  1. Formal Methods and Tools Laboratory (FMT)
  2. System and Software Evaluation Center (SSE)
  3. Software Engineering and Dependable Computing Laboratory (SEDC)
comments to webmaster