Kai Ding

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 10

Top Topics

Regression Testing

Error Detection

Reliability Analysis

Data Corruption

Top Venues

Publications

Michael Beyer, Andrey Morozov, Emil Valiev, Christoph Schorn, Lydia Gauerhof, Kai Ding, Klaus Janschek
Fault Injectors for TensorFlow: Evaluation of the Impact of Random Hardware Faults on Deep CNNs. CoRR (2020)
Andrey Morozov, Kai Ding, Mikael Steurer, Klaus Janschek
OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis. ISSRE (2019)
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
Breaking the Limits of Redundancy Systems Analysis. CoRR (2019)
Kai Ding, Sheng Ding, Andrey Morozov, Tagir Fabarisov, Klaus Janschek
On-Line Error Detection and Mitigation for Time-Series Data of Cyber-Physical Systems using Deep Learning Based Methods. EDCC (2019)
Kai Ding, Andrey Morozov, Klaus Janschek
Efficient Model-Level Reliability Analysis of Simulink Models. SAFECOMP (2019)
Michael Beyer, Andrey Morozov, Kai Ding, Sheng Ding, Klaus Janschek
Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study. ISSRE Workshops (2019)
Kai Ding, Andrey Morozov, Klaus Janschek
MORE: MOdel-based REdundancy for Simulink. SAFECOMP (2018)
Kai Ding, Andrey Morozov, Klaus Janschek
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption. ISSRE (2018)
Andrey Morozov, Kai Ding, Tao Chen, Klaus Janschek
Test Suite Prioritization for Efficient Regression Testing of Model-Based Automotive Software. SATE (2017)
Kai Ding, Andrey Morozov, Klaus Janschek
Classification of Hierarchical Fault-Tolerant Design Patterns. DASC/PiCom/DataCom/CyberSciTech (2017)