Improving Testing Coverage for Safety-Critical System by Mutated Specification. - Tingliang Zhou; Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC (1), 2014)

Decomposing Automatic Train Control Verification System with Projection. - Jing Xu; Xiaohong Chen 001; Tingliang Zhou; Zhengheng Yuan; Kezhen Huang (APSEC, 2015)

Hybrid Lustre. - Zhengheng Yuan; Tingliang Zhou; Jing Liu 012; Juan Luo; Yi Zhang; Xiaohong Chen 007 (Ershov Memorial Conference, 2015)

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. - Fei Tang; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Haiying Sun (CIT, 2016)

Safety Requirements Specification and Verification for Railway Interlocking Systems. - Li Han 001; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Xiaohong Chen 007 (COMPSAC, 2016)

Applying SOFL to a Railway Interlocking System in Industry. - Juan Luo; Shaoying Liu; Yanqin Wang; Tingliang Zhou (SOFL+MSVL, 2016)

Safety prediction of rail transit system based on deep learning. - Yan Zhang 072; Jiazhen Han; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Juan Luo (ICIS, 2017)

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. - Zhiwei Li; Jing Liu 012; Haiying Sun; Tingliang Zhou; Junfeng Sun (APSEC, 2017)

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. - Yongxiang Bao; Mingsong Chen 001; Qi Zhu 002; Tongquan Wei; Frédéric Mallet; Tingliang Zhou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. - Zhengheng Yuan; Xiaohong Chen 007; Jing Liu 012; Yijun Yu; Haiying Sun; Tingliang Zhou; Zhi Jin (IEEE Trans. Intell. Transp. Syst., 2018)

Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network. - Yan Zhang 072; Jing Liu 012; Junfeng Sun; Xiang Chen; Tingliang Zhou (CollaborateCom, 2019)

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. - Xiaohong Chen 007; Zhiwei Zhong; Zhi Jin; Min Zhang 002; Tong Li 001; Xiang Chen; Tingliang Zhou (RE, 2019)

Intelligent Hazard-Risk Prediction Model for Train Control Systems. - Jing Liu 012; Yan Zhang 072; Jiazhen Han; Jifeng He 001; Junfeng Sun; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2020)

A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail. - Li Jian; Huanran Zheng; Bofeng Chen; Tingliang Zhou; Hui Chen; Yanjun Li (DASFAA (Workshops), 2022)

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. - Xiaohong Chen 007; Juan Zhang; Zhi Jin; Min Zhang 002; Tong Li 001; Xiang Chen; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2023)

Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems. - Yike Huang; Xiaohong Chen 007; Zhi Jin; Tingliang Zhou (RE Workshops, 2024)

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. - Xiaohong Chen 007; Zhi Jin; Min Zhang 002; Frédéric Mallet; Xiaoshan Liu; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2024)