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.
A Cooperative Parallelization Approach for Property-Directed k-Induction
has been accepted to Verification, Model Checking, and Abstract Interpretation.
Duet Benchmarking: Improving Measurement Accuracy in the Cloud
has been accepted to arXiv:2001.05811 [cs].
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).
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder
has been accepted to ACM SIGSOFT Software Engineering Notes.