Tingliang Zhou

According to our database, Tingliang Zhou authored at least 15 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.

Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou

IEEE Trans. Intell. Transp. Syst., December, 2023

2022

A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail.

Li Jian, Huanran Zheng, Bofeng Chen, Tingliang Zhou, Hui Chen, Yanjun Li

Proceedings of the Database Systems for Advanced Applications. DASFAA 2022 International Workshops, 2022

2020

Intelligent Hazard-Risk Prediction Model for Train Control Systems.

Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou

IEEE Trans. Intell. Transp. Syst., 2020

2019

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network.

Yan Zhang, Jing Liu, Junfeng Sun, Xiang Chen, Tingliang Zhou

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.

Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin

IEEE Trans. Intell. Transp. Syst., 2018

2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.

Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Safety prediction of rail transit system based on deep learning.

Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Applying SOFL to a Railway Interlocking System in Industry.

Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Safety Requirements Specification and Verification for Railway Interlocking Systems.

Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.

Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun

Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015

Hybrid Lustre.

Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen

Proceedings of the Perspectives of System Informatics, 2015

Decomposing Automatic Train Control Verification System with Projection.

Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014