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
A Cooperative Parallelization Approach for Property-Directed k-Induction
has been accepted to Verification, Model Checking, and Abstract Interpretation.

More...

New publication

Our paper
Duet Benchmarking: Improving Measurement Accuracy in the Cloud
has been accepted to Proceedings of the ACM/SPEC International Conference on Performance Engineering.

More...

New publication

Our paper
Endicheck: Dynamic Analysis for Detecting Endianness Bugs
has been accepted to Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020).

More...

New publication

Our paper
Database Traffic Interception for Graybox Detection of Stored and Context-Sensitive XSS
has been accepted to arXiv:2005.03322 [cs].

More...

PhD studies !

Like what we’re doing ?
Come join us !

Due to the COVID pandemic, the application deadline for the PhD program has been extended to May 31 (CZ) and June 30 (EN). Pick your advisor and apply.

More...