Kai Ding
Title
Cited by
Cited by
Year
Automatic transformation of uml system models for model-based error propagation analysis of mechatronic systems
K Ding, T Mutzke, A Morozov, K Janschek
IFAC-PapersOnLine 49 (21), 439-446, 2016
132016
Test suite prioritization for efficient regression testing of model-based automotive software
A Morozov, K Ding, T Chen, K Janschek
2017 International Conference on Software Analysis, Testing and Evolution†…, 2017
62017
Reliability evaluation of functionally equivalent simulink implementations of a pid controller under silent data corruption
K Ding, A Morozov, K Janschek
2018 IEEE 29th International Symposium on Software Reliability Engineering†…, 2018
42018
More: Model-based redundancy for simulink
K Ding, A Morozov, K Janschek
International Conference on Computer Safety, Reliability, and Security, 250-264, 2018
42018
Classification of hierarchical fault-tolerant design patterns
K Ding, A Morozov, K Janschek
2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th†…, 2017
42017
Model-based analysis of timing errors for reliable design of mechatronic medical devices
T Mutzke, K Ding, A Morozov, K Janschek, J Braun
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol), 233-238, 2016
42016
Breaking the limits of redundancy systems analysis
C Dubslaff, K Ding, A Morozov, C Baier, K Janschek
arXiv preprint arXiv:1912.05364, 2019
32019
OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis
A Morozov, K Ding, M Steurer, K Janschek
2019 IEEE 30th International Symposium on Software Reliability Engineering†…, 2019
22019
Efficient model-level reliability analysis of simulink models
K Ding, A Morozov, K Janschek
International Conference on Computer Safety, Reliability, and Security, 139-154, 2019
12019
On-Line Error Detection and Mitigation for Time-Series Data of Cyber-Physical Systems using Deep Learning Based Methods
K Ding, S Ding, A Morozov, T Fabarisov, K Janschek
2019 15th European Dependable Computing Conference (EDCC), 7-14, 2019
2019
Verification of timing properties of a medical patient table case study using probabilistic model checking
T Mutzke, J Braun, A Morozov, K Ding, K Janschek
Safety and Reliability–Safe Societies in a Changing World, 2547-2554, 2018
2018
Stochastic Model-based Analysis of Timing Errors for Mechatronic Systems with User-defined General Discrete-time Distributions
T Mutzke, A Morozov, K Ding, K Janschek, J Braun
IFAC-PapersOnLine 51 (24), 1417-1424, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–12