| 2024 | RE | Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems. | Yike Huang, Xiaohong Chen, Zhi Jin, Tingliang Zhou |
| 2022 | DASFAA | A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail. | Li Jian, Huanran Zheng, Bofeng Chen, Tingliang Zhou, Hui Chen, Yanjun Li |
| 2019 | RE | Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. | Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou |
| 2017 | APSEC | Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. | Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun |
| 2016 | COMPSAC | Safety Requirements Specification and Verification for Railway Interlocking Systems. | Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen |
| 2015 | APSEC | Decomposing Automatic Train Control Verification System with Projection. | Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang |
| 2014 | APSEC | Improving Testing Coverage for Safety-Critical System by Mutated Specification. | Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |