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 Framework for Tunable Anomaly Detection
has been accepted to Proceedings of ICSA 2019, Hamburg, Germany.

More...

New publication

Our paper
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
has been accepted to International Journal on Software Tools for Technology Transfer.

More...

New publication

Our paper
Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud
has been accepted to Proc. 27th IEEE Intl. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).

More...

New publication

Our paper
High-level mission specification for multiple robots
has been accepted to Proceedings of SLE 2019, Athens, Greece.

More...

New publication

Our paper
Automated Trainability Evaluation for Smart Software Functions
has been accepted to Proceedings of ASE 2019, San Diego, USA.

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
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).

More...

New publication

Our paper
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM (Extended Abstract)
has been accepted to Companion Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH).

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...

We are hiring !

Like what we’re doing ?
Come join us !

We have an open position for an assistant professor (tenure track). Still studying ? Consider applying for doctoral studies with us instead.

More...