19 citations · 21 across the 6 of their papers we have counts for
3 papers · 1 filter
Fault Injectors for TensorFlow: Evaluation of the Impact of Random Hardware Faults on Deep CNNs
Michael Beyer, Andrey Morozov, Emil Valiev +4
Today, Deep Learning (DL) enhances almost every industrial sector, including safety-critical areas. The next generation of safety standards will define appropriate verification tec…
Iterative Variable Reordering: Taming Huge System Families
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
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 e…
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
Modern safety-critical systems are heterogeneous, complex, and highly dynamic. They require reliability evaluation methods that go beyond the classical static methods such as fault…