research
∙
12/13/2020
Fault Injectors for TensorFlow: Evaluation of the Impact of Random Hardware Faults on Deep CNNs
Today, Deep Learning (DL) enhances almost every industrial sector, inclu...
share
research
∙
04/28/2020
Iterative Variable Reordering: Taming Huge System Families
For the verification of systems using model-checking techniques, symboli...
research
∙
04/14/2020
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Modern safety-critical systems are heterogeneous, complex, and highly dy...
research
∙
12/11/2019