We stand with Ukraine  

Xiao Han

Orcid: 0000-0001-8372-3105

Affiliations:
  • Beijing Jiaotong University, School of Electronic and Information Engineering, China


According to our database1, Xiao Han authored at least 3 papers between 2016 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
A hierarchical verification approach to verify complex safety control systems based on STAMP.
[BibTeX]
[DOI]
Xiao Han
,
Tao Tang
,
Jidong Lv
Sci. Comput. Program., 2019

2017
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
[BibTeX]
[DOI]
Mingshuai Chen
,
Xiao Han
,
Tao Tang
,
Shuling Wang
,
Mengfei Yang
,
Naijun Zhan
,
Hengjun Zhao
,
Liang Zou
Proceedings of the Provably Correct Systems, 2017

2016
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.
[BibTeX]
[DOI]
Xiao Han
,
Tao Tang
,
Jidong Lv
,
Haifeng Wang
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016


  Loading...