Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tingliang Zhou
Institutions:
Wuyi University,
Wuyi University
Observed institutions:
Tongji University,
Shanghai Key Laboratory of Trustworthy Computing,
Wuyi University,
East China Normal University,
Wuyi University
ORCID:
0000-0003-3882-8025
Observed ORCID:
0000-0003-3882-8025
OpenAlex ID:
A5101844003
Intelligent Hazard-Risk Prediction Model for Train Control Systems
2019
·
Jing Liu
, Yan Zhang
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
26
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems
2019
·
Xiaohong Chen
, Zhiwei Zhong
, et al.
·
IEEE International Requirements Engineering Conference (RE)
·
19
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
2018
·
Zhengheng Yuan
, Xiaohong Chen
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
16
Applying SOFL to a Railway Interlocking System in Industry
2017
·
Juan Luo
, Shaoying Liu
, et al.
·
Lecture notes in computer science
·
12
Safety Requirements Specification and Verification for Railway Interlocking Systems
2016
·
Li Han
, Jing Liu
, et al.
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
10
Safety prediction of rail transit system based on deep learning
2017
·
Yan Zhang
, Jiazhen Han
, et al.
·
IEEE/ACIS International Conference on Computer and Information Science (ICIS)
·
8
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
2023
·
Xiaohong Chen
, Juan Zhang
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
5
Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network
2019
·
Yan Zhang
, Jing Liu
, et al.
·
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
·
3
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
2024
·
Xiaohong Chen
, Zhi Jin
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
2
Ultrafine and Microinvasive Temperature Probe for Real‐Time Monitoring Core Body Temperature
2023
·
Meng Jia
, Jinxiu Wen
, et al.
·
Advanced Sensor Research
·
2
PDF
A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail
2022
·
Li Jian
, Huanran Zheng
, et al.
·
Lecture notes in computer science
·
2
Decomposing Automatic Train Control Verification System with Projection
2015
·
Jing Xu
, Xiaohong Chen
, et al.
·
Asia-Pacific Software Engineering Conference (APSEC)
·
2
Innovative Tongue Pressure Monitoring for Comprehensive Oral Health Assessment and Rehabilitation
2025
·
Junsheng Luo
, Tingliang Zhou
, et al.
·
IEEE Sensors Journal
·
1
Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems
2024
·
Yike Huang
, Xiaohong Chen
, et al.
·
IEEE International Requirements Engineering Conference Workshops (REW)
·
1
Show more works
View as search
Works count:
14
Citation count:
109
H-index:
6
I10-index:
5
Year
Topic
Type
