Kai Ding

13 papers A 2B 2Misc 1Journal 2Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Enhancing Robotics Online 3D Bin Packing: A Comparative Study of Conventional Heuristic and Deep Reinforcement Learning Approaches. CASE Heng Xiong, Kai Ding, Wan Ding, Xuchong Qiu, Klaus Janschek, Jianfeng Xu
2021	—	`—`	Zuverlässigkeitsorientierter Entwurf und Analyse von Steuerungssystemen auf Modellebene unter zufälligen Hardwarefehlern: Dependability-oriented Design and Analysis of Control Systems at the Model Level under Random Hardware Faults. Kai Ding
2020	—	`conf`	Bayesian Model for Trustworthiness Analysis of Deep Learning Classifiers. AISafety@IJCAI Andrey Morozov, Emil Valiev, Michael Beyer, Kai Ding, Lydia Gauerhof, Christoph Schorn
2020	J	`jnl`	Fault Injectors for TensorFlow: Evaluation of the Impact of Random Hardware Faults on Deep CNNs. CoRR Michael Beyer, Andrey Morozov, Emil Valiev, Christoph Schorn, Lydia Gauerhof, Kai Ding, Klaus Janschek
2019	J	`jnl`	Breaking the Limits of Redundancy Systems Analysis. CoRR Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
2019	B	`conf`	Efficient Model-Level Reliability Analysis of Simulink Models. SAFECOMP Kai Ding, Andrey Morozov, Klaus Janschek
2019	Misc	`conf`	On-Line Error Detection and Mitigation for Time-Series Data of Cyber-Physical Systems using Deep Learning Based Methods. EDCC Kai Ding, Sheng Ding, Andrey Morozov, Tagir Fabarisov, Klaus Janschek
2019	A	`conf`	OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis. ISSRE Andrey Morozov, Kai Ding, Mikael Steurer, Klaus Janschek
2019	—	`conf`	Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study. ISSRE Workshops Michael Beyer, Andrey Morozov, Kai Ding, Sheng Ding, Klaus Janschek
2018	B	`conf`	MORE: MOdel-based REdundancy for Simulink. SAFECOMP Kai Ding, Andrey Morozov, Klaus Janschek
2018	A	`conf`	Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption. ISSRE Kai Ding, Andrey Morozov, Klaus Janschek
2017	—	`conf`	Classification of Hierarchical Fault-Tolerant Design Patterns. DASC/PiCom/DataCom/CyberSciTech Kai Ding, Andrey Morozov, Klaus Janschek
2017	—	`conf`	Test Suite Prioritization for Efficient Regression Testing of Model-Based Automotive Software. SATE Andrey Morozov, Kai Ding, Tao Chen, Klaus Janschek

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski