Tingliang Zhou

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 15

Top Topics

Formal Verification

Boolean Expressions

Stepwise Regression

Top Venues

IEEE Trans. Intell. Transp. Syst.

DASFAA (Workshops)

Ershov Memorial Conference

Publications

Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25 (8) (2024)
Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Li Jian, Huanran Zheng, Bofeng Chen, Tingliang Zhou, Hui Chen, Yanjun Li
A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail. DASFAA (Workshops) (2022)
Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou
Intelligent Hazard-Risk Prediction Model for Train Control Systems. IEEE Trans. Intell. Transp. Syst. 21 (11) (2020)
Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. RE (2019)
Yan Zhang, Jing Liu, Junfeng Sun, Xiang Chen, Tingliang Zhou
Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network. CollaborateCom (2019)
Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. 19 (11) (2018)
Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (12) (2017)
Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo
Safety prediction of rail transit system based on deep learning. ICIS (2017)
Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. APSEC (2017)
Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun
Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. CIT (2016)
Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou
Applying SOFL to a Railway Interlocking System in Industry. SOFL+MSVL (2016)
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen
Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC (2016)
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
Hybrid Lustre. Ershov Memorial Conference (2015)
Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang
Decomposing Automatic Train Control Verification System with Projection. APSEC (2015)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) (2014)