Fuchun Ren

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Safety Analysis

Formal Specification

Binary Decision Diagrams

Top Venues

Publications

Hongli Wang, Deming Zhong, Tingdi Zhao, Fuchun Ren
Integrating Model Checking With SysML in Complex System Safety Analysis. IEEE Access 7 (2019)
Zhiwei Chen, Tingdi Zhao, Jian Jiao, Fuchun Ren
Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements. IEEE Access 6 (2018)
Fuchun Ren, Tingdi Zhao, Jian Jiao, Yuqing Hu
Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept. IEEE Access 5 (2017)