Jian Xie

Orcid: 0000-0002-3215-4691

Affiliations:

Nanjing University of Aeronautics and Astronautics, Nanjing, China

According to our database¹, Jian Xie authored at least 5 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

An accident prediction architecture based on spatio-clock stochastic and hybrid model for autonomous driving safety.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2023

2022

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.

[BibT_eX]

[DOI]

Connect. Sci., 2022

2021

Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2021

2019

A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification.

[BibT_eX]

[DOI]

Comput. Secur., 2019

2017

Distributed System Model Using SysML and Event-B.

[BibT_eX]

[DOI]

Qi Zhang

Zhiqiu Huang

Jian Xie

Proceedings of the Machine Learning and Intelligent Communications, 2017

Jian Xie

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...