Tingliang Zhou

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