Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage. - Ruijun Cheng; Dewang Chen; Xiaoping Ma; Yu Cheng; Huize Cheng (IEEE Trans. Intell. Transp. Syst., 2024)

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey. - Ruijun Cheng; Dewang Chen; Haifeng Song 001; Hui Liu; Huize Cheng (IEEE Trans. Intell. Transp. Syst., 2025)