Our department is responsible for research and education in the advanced techniques for building reliable component-based software especially in the field of distributed and dependable systems, spanning from smart cyber-physical systems and IoT to cloud-based backends. Our research comprises advanced software architectures, adaptation, model-driven development, model-based testing, formal verification of software, performance measurement and modeling.

The vision pursued by our department is that of high-quality scientific research with strong industrial relevance, with the aim to enable rapid and cost-efficient production of complex and reliable software systems. To achieve this vision, our department actively collaborates on the national and international level with both academic and industrial partners.

New publication

Our paper
Letting future programmers experience performance-related tasks
has been accepted to Journal of Parallel and Distributed Computing.

More...

New publication

Our paper
Self-adaptive K8S Cloud Controller for Time-sensitive Applications
has been accepted to Proceedings of SEAA 2021, Palermo. Italy.

More...

New publication

Our paper
Design and management of image processing pipelines within CPS: acquired experience towards the end of the FitOptiVis ECSEL Project
has been accepted to Microprocessors and Microsystems.

More...

New publication

Our paper
GPU-Accelerated Mahalanobis-Average Hierarchical Clustering Analysis
has been accepted to Euro-Par 2021: Parallel Processing.

More...