The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

The rapid advancement of Artificial Intelligence (AI) has led to its integration into various
areas, especially with Large Language Models (LLMs) significantly enhancing capabilities …

Byzantine fault-tolerant algorithms promise agreement on a correct value, even if a subset of
processes can deviate from the algorithm arbitrarily. While these algorithms provide strong …

The reliability of a network is a crucial requirement for applications and systems such as IoT
(Internet-of-Things), cloud-based solutions, client-server, or peer-to-peer architectures …

Automated fault diagnosis of microservice systems has been a hot topic in recent years. As
most incidents in real commercial cloud systems are not publicly available, we have …

In the realm of cloud computing, ensuring the dependability and robustness of software
systems is paramount. The intricate and evolving nature of cloud infrastructures, however …

Organizations, particularly medium and large enterprises, typically today rely heavily on
complex, distributed systems to deliver critical services and products. However, the growing …

The reliability of a network is a crucial requirement for systems such as IoT, client-server, or
cloud-based solutions. Unfortunately, real networks cannot be assumed to be fault-free …

Cloud Management Platforms (CMPs) have a critical role in supporting private and public
cloud computing as a tool to manage, provision and track resources and their usage. These …

With the development of software techniques, software systems nowadays are becoming
highly complex. In order to keep such systems as reliable as possible, developers need to …