Department of Distributed and Dependable Systems

School of Computer Science, Faculty of Mathematics and Physics, Charles University

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.

Studying or Working With Us

Are you an existing or a prospective student?

Are you a researcher or a practitioner?

News From the Department

JPF: From 2003 to 2023

1 April 2024

Our paper JPF: From 2003 to 2023 by C. Artho, P. Parízek, D. Qu, V. Galgali, P. Yi has been accepted to 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024).

GPU-acceleration of neighborhood-based dimensionality reduction algorithm EmbedSOM

1 January 2024

Our paper GPU-acceleration of neighborhood-based dimensionality reduction algorithm EmbedSOM by A. Šmelko, M. Kruliš, J. Klepl has been accepted to 16th Workshop on General Purpose Processing Using GPU.

Maboss for HPC environments: implementations of the continuous time Boolean model simulator for large CPU clusters and GPU accelerators

1 January 2024

Our paper Maboss for HPC environments: implementations of the continuous time Boolean model simulator for large CPU clusters and GPU accelerators by A. Šmelko, M. Kratochvíl, E. Barillot, V. Noël has been accepted to BMC bioinformatics.

Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures

1 January 2024

Our paper Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures by J. Klepl, A. Šmelko, L. Rozsypal, M. Kruliš has been accepted to Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores.