2 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
Breaking the Limits of Redundancy Systems Analysis
Clemens Dubslaff, Kai Ding, Andrey Morozov +2
Redundancy mechanisms such as triple modular redundancy protect safety-critical components by replication and thus improve systems fault tolerance. However, the gained fault tolera…