Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …

Safety and reliability are two important aspects of dependability that are needed to be
rigorously evaluated throughout the development life-cycle of a system. Over the years …

A Fruitful Field for Researching Data Mining Methodology and for Solving Real-Life
Problems Contrast Data Mining: Concepts, Algorithms, and Applications collects recent …

We compare SAT-checkers and decision diagrams on the evalua-tion of Boolean formulas
produced in the formal verification of both correct and buggy versions of superscalar and …

We consider the problem of estimating quantum observables on a collection of qubits, given
as a linear combination of Pauli operators, with shallow quantum circuits consisting of single …

This paper proposes a zero-suppressed binary decision diagrams (ZBDD) based solution
for minimal cut set/sequence (MCS) generation of dynamic fault trees. ZBDD is an efficient …

The reliability analysis of complex and dynamic systems is often achieved by a quantitative
analysis of dynamic fault trees (DFT), which model the system failure, ie a specific undesired …

Symbolic model checking based on Binary Decision Diagrams (BDDs) is one of the most
celebrated breakthroughs in the area of formal verification. It was originally proposed in the …

Supervisor synthesis is a means to algorithmically derive a supervisory controller from a
discrete-event model of a system and a requirements specification. For large systems …

For applications in worst-case execution time analysis and in security, it is desirable to
statically classify memory accesses into those that result in cache hits, and those that result …