Kai Ding
Cited by
Cited by
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
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
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
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
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
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
More: Model-based redundancy for simulink
K Ding, A Morozov, K Janschek
International Conference on Computer Safety, Reliability, and Security, 250-264, 2018
Breaking the limits of redundancy systems analysis
C Dubslaff, K Ding, A Morozov, C Baier, K Janschek
arXiv preprint arXiv:1912.05364, 2019
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–11