| 系统可靠性设计分析教程 曾声奎， 赵廷弟， 张建国， 康锐 北京: 北京航空航天大学出版社 1, 158-193, 2001 | 220 | 2001 |
| Risk assessment of railway transportation systems using timed fault trees Z Peng, Y Lu, A Miller, C Johnson, T Zhao Quality and Reliability Engineering International 32 (1), 181-194, 2016 | 52 | 2016 |
| Epidemic spreading model of complex dynamical network with the heterogeneity of nodes S Hong, H Yang, T Zhao, X Ma International Journal of Systems Science 47 (11), 2745-2752, 2016 | 41 | 2016 |
| Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification Q Yang, J Tian, T Zhao Safety science 93, 162-177, 2017 | 38 | 2017 |
| FRAMA: A safety assessment approach based on Functional Resonance Analysis Method J Tian, J Wu, Q Yang, T Zhao Safety science 85, 41-52, 2016 | 38 | 2016 |
| Failure cascade in interdependent network with traffic loads S Hong, B Wang, X Ma, J Wang, T Zhao Journal of Physics A: Mathematical and Theoretical 48 (48), 485101, 2015 | 36 | 2015 |
| Cascading failure and recovery of spatially interdependent networks S Hong, J Zhu, LA Braunstein, T Zhao, Q You Journal of Statistical Mechanics: Theory and Experiment 2017 (10), 103208, 2017 | 35 | 2017 |
| Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging Z Zheng, J Tian, T Zhao Cognition, Technology & Work 18 (4), 777-791, 2016 | 31 | 2016 |
| Bearing remaining life prediction using Gaussian process regression with composite kernel functions S Hong, Z Zhou, C Lu, B Wang, T Zhao Journal of Vibroengineering 17 (2), 695-704, 2015 | 31 | 2015 |
| How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification Y Lu, Z Peng, A Miller, T Zhao, C Johnson Reliability Engineering & System Safety, 2015 | 30 | 2015 |
| 故障诊断专家系统 石荣德， 赵廷弟， 屠庆慈， 常文兵 北京航空航天大学学报 21 (004), 7-12, 1995 | 22 | 1995 |
| Hybrid safety analysis method based on SVM and RST: An application to carrier landing of aircraft Y Dai, J Tian, H Rong, T Zhao Safety science 80, 56-65, 2015 | 14 | 2015 |
| A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system Z Peng, Y Lu, A Miller, C Johnson, T Zhao Proceedings of the 7th European Symposium on Computer Modelling and …, 2013 | 14 | 2013 |
| Safety design analysis and verification Z Tingdi National Defense Industry Press, 2011 | 14 | 2011 |
| A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint Z Li, S Wang, T Zhao, B Liu Chinese Journal of Aeronautics 29 (4), 1027-1041, 2016 | 13 | 2016 |
| Temporal uncertainty analysis of human errors based on interrelationships among multiple factors: a case of Minuteman III missile accident H Rong, J Tian, T Zhao Applied ergonomics 52, 196-206, 2016 | 13 | 2016 |
| Formal specification and quantitative analysis of a constellation of navigation satellites Z Peng, Y Lu, A Miller, T Zhao, C Johnson Quality and Reliability Engineering International 32 (2), 345-361, 2016 | 12 | 2016 |
| Resilience optimization for complex engineered systems based on the multi-dimensional resilience concept F Ren, T Zhao, J Jiao, Y Hu IEEE Access 5, 19352-19362, 2017 | 11 | 2017 |
| Reliability Centered Preliminary Hazard Analysis N Zhao, T Zhao, J Tian Proceedings of the 55th Annual Reliability and Maintainability Symposium …, 2009 | 11 | 2009 |
| 计算机辅助 FMECA 软件模型 赵延弟， 孙琳玲 北京航空航天大学学报 26 (001), 118-121, 2000 | 11 | 2000 |
Yu LuUniversity of GlasgowVerified email at research.gla.ac.uk
