We stand with Ukraine  

Jian Xie

Orcid: 0000-0002-3215-4691

Affiliations:
  • Nanjing University of Aeronautics and Astronautics, Nanjing, China


According to our database1, Jian Xie authored at least 7 papers between 2017 and 2026.

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

2026
Combinatorial Test Sequence Generation Method Integrated with STPA.
[BibTeX]
[DOI]
Heng Xu
,
Zhiqiu Huang
,
Chuanqi Tao
,
Jian Xie
,
Jun Hu
Int. J. Softw. Eng. Knowl. Eng., March, 2026

2025
Automatic IoT permission assignment with transformer models under spatiotemporal constraints.
[BibTeX]
[DOI]
Chao Fu
,
Guohua Shen
,
Zhiqiu Huang
,
Jian Xie
,
Jiazhou Fu
J. Inf. Secur. Appl., 2025

2023
An accident prediction architecture based on spatio-clock stochastic and hybrid model for autonomous driving safety.
[BibTeX]
[DOI]
Jinyong Wang
,
Zhiqiu Huang
,
Xiaowei Huang
,
Tiexin Wang
,
Guohua Shen
,
Jian Xie
Concurr. Comput. Pract. Exp., 2023

2022
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.
[BibTeX]
[DOI]
Jian Xie
,
Wenan Tan
,
Zhibin Yang
,
Shuming Li
,
Linquan Xing
,
Zhiqiu Huang
Connect. Sci., 2022

2021
Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification.
[BibTeX]
[DOI]
Jian Xie
,
Wenan Tan
,
BingWu Fang
,
Zhiqiu Huang
Secur. Commun. Networks, 2021

2019
A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification.
[BibTeX]
[DOI]
Yan Cao
,
Zhiqiu Huang
,
Changbo Ke
,
Jian Xie
,
Jin Wang
Comput. Secur., 2019

2017
Distributed System Model Using SysML and Event-B.
[BibTeX]
[DOI]
Qi Zhang
,
Zhiqiu Huang
,
Jian Xie
Proceedings of the Machine Learning and Intelligent Communications, 2017


  Loading...