Distributed System Model Using SysML and Event-B. - Qi Zhang; Zhiqiu Huang; Jian Xie 004 (MLICOM (1), 2017)

A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification. - Yan Cao 005; Zhiqiu Huang; Changbo Ke; Jian Xie 004; Jin Wang 001 (Comput. Secur., 2019)

Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification. - Jian Xie 004; Wenan Tan; BingWu Fang; Zhiqiu Huang (Secur. Commun. Networks, 2021)

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. - Jian Xie 004; Wenan Tan; Zhibin Yang; Shuming Li; Linquan Xing; Zhiqiu Huang (Connect. Sci., 2022)

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

Automatic IoT permission assignment with transformer models under spatiotemporal constraints. - Chao Fu; Guohua Shen; Zhiqiu Huang; Jian Xie 004; Jiazhou Fu (J. Inf. Secur. Appl., 2025)