Decomposition and Collaboration of Industrial Control System with Resource Constraints. - Ju Li; Jiawen Xiong; Xia Mao; Jianqi Shi; Xin Ye; Yanhong Huang (ICECCS, 2017)

GANFuzz: a GAN-based industrial network protocol fuzzing framework. - Zhicheng Hu; Jianqi Shi; Yanhong Huang; Jiawen Xiong; Xiangxing Bu (CF, 2018)

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. - Jian Shi; Jianqi Shi; Yanhong Huang; Jiawen Xiong; Qing She (REFSQ Workshops, 2019)

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning. - Zhihui Li 005; Hui Zhao; Jianqi Shi; Yanhong Huang; Jiawen Xiong (IEEE Access, 2019)

A Decomposition-Based Development Method for Industrial Control Systems. - Jiawen Xiong; Ju Li; Jianqi Shi; Yanhong Huang (IEEE Access, 2019)

General past-time linear temporal logic specification mining. - Jianqi Shi; Jiawen Xiong; Yanhong Huang (CCF Trans. High Perform. Comput., 2021)

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. - Wanyou Lv; Jiawen Xiong; Jianqi Shi; Yanhong Huang; Shengchao Qin (J. Intell. Manuf., 2021)

Safety Verification of IEC 61131-3 Structured Text Programs. - Jiawen Xiong; Xiangxing Bu; Yanhong Huang; Jianqi Shi; Weigang He (IEEE Trans. Ind. Informatics, 2021)

Towards Build Verifiability for Java-based Systems. - Jiawen Xiong; Yong Shi 010; Boyuan Chen 002; Filipe Roseiro Côgo; Zhen Ming Jiang (ICSE (SEIP), 2022)

LLM-Aided Automatic Modeling for Security Protocol Verification. - Ziyu Mao; Jingyi Wang 004; Jun Sun 001; Shengchao Qin; Jiawen Xiong (ICSE, 2025)