Huize Cheng

According to our database, Huize Cheng authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Operational State-Based Maintenance Adjustment Strategy for Automatic Train Protection System by Integrating Probabilistic Model Checking With Machine Learning Algorithm.

Ruijun Cheng, Yu Cheng, Haifeng Song, Dewang Chen, Liping Zhang, Huize Cheng

IEEE Trans. Intell. Transp. Syst., June, 2026

2025

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey.

Ruijun Cheng, Dewang Chen, Haifeng Song, Hui Liu, Huize Cheng

IEEE Trans. Intell. Transp. Syst., February, 2025

TASA: Text-Anchored State-Space Alignment for Long-Tailed Image Classification.

Long Li, Tinglei Jia, Huaizhi Yue, Huize Cheng, Yongfeng Bu, Zhaoyang Zhang

J. Imaging, 2025

2024

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., May, 2024