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

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. - Yanhong Huang; Xiangxing Bu; Gang Zhu; Xin Ye; Xiaoran Zhu; Jianqi Shi (IEEE Access, 2019)

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