We stand with Ukraine  

Lin Zhao

Affiliations:
  • Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China


According to our database1, Lin Zhao authored at least 6 papers between 2010 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Monitor-based temporal properties checking of train control systems with quantitative constraints.
[BibTeX]
[DOI]
Lin Zhao
,
Ming Chai
,
Yang Liu
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2012
Component Based Design of Fault Tolerant Devices in Cyber Physical System.
[BibTeX]
[DOI]
Tianhua Xu
,
Zhiming Liu
,
Tao Tang
,
Wei Zheng
,
Lin Zhao
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata.
[BibTeX]
[DOI]
Jintao Liu
,
Tao Tang
,
Lin Zhao
,
Tianhua Xu
,
Wei Zheng
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011
Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.
[BibTeX]
[DOI]
Yupeng Liu
,
Tao Tang
,
Jintao Liu
,
Lin Zhao
,
Tianhua Xu
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Safety Monitoring for ETCS with 4-valued LTL.
[BibTeX]
[DOI]
Xian Li
,
Ming Chai
,
Lin Zhao
,
Tao Tang
,
Tianhua Xu
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010
Runtime Verification with Multi-valued Formula Rewriting.
[BibTeX]
[DOI]
Lin Zhao
,
Tao Tang
,
Jinzhao Wu
,
Tianhua Xu
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010


  Loading...