Detecting and understanding reasons for defects and inadvertent behavior in software is
challenging due to their increasing complexity. In configurable software systems, the …

The detection and understanding of reasons for defects and inadvertent behavior in software
is challenging due to its ever increasing complexity. One major aspect contributing to this …

Increasing complexity and heterogeneity of modern safety-critical systems require advanced
tools for quantitative reliability analysis. Most of the available analytical software exploits …

Configurable software systems offer user-selectable features to tailor them to the target
hardware and user requirements. It is almost a rule that, as the number of features increases …

One of the approaches to assure reliability of nuclear instrumentation and control (I&C)
systems is model checking, a formal verification technique. Model checking is …

Modern safety-critical systems are heterogeneous, complex, and highly dynamic. They
require reliability evaluation methods that go beyond the classical static methods such as …

Quorum Sensing (QS) and Machine Learning (ML) hybrid systems represent a
groundbreaking innovation in synthetic biology, offering unprecedented control and …

For the verification of systems using model-checking techniques, symbolic representations
based on binary decision diagrams (BDDs) often help to tackle the well-known state-space …

Abstract (EN) The often huge configuration spaces of modern software systems render the
detection, prediction, and explanation of defects and inadvertent behaviors challenging …

Many safety critical systems guarantee fault-tolerance by using several redundant copies of
their components. When designing such redundancy architectures, it is crucial to analyze …