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.

Bachelor course

Course Program semantics now in winter semester!

More...

Job opening

Like what we’re doing ?
Come join us !

We have a job opening for an assistant professor (tenure track).

More...

New publication

Our paper
Dynamic security rules for legacy systems
has been accepted to Proceedings of ECSA 2019 (vol 2), Paris, France.

More...

New publication

Our paper
Decomposition-Based Approach for Model-Based Test Generation
has been accepted to IEEE Transactions on Software Engineering.

More...

New publication

Our paper
Decomposing Farkas Interpolants
has been accepted to Tools and Algorithms for the Construction and Analysis of Systems.

More...

New publication

Our paper
Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis
has been accepted to Journal of Systems and Software.

More...

New publication

Our paper
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
has been accepted to IEEE Transactions on Software Engineering.

More...

New publication

Our paper
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
has been accepted to Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).

More...