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.
Decomposing Farkas Interpolants
has been accepted to Tools and Algorithms for the Construction and Analysis of Systems.
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
has been accepted to Electronic Communications of the EASST.
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
has been accepted to Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019).
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking
has been accepted to International Journal on Software Tools for Technology Transfer.