Xiangxing Bu

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Structured Data

Formal Semantics

Top Venues

IEEE Trans. Ind. Informatics

Publications

Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Weigang He
Safety Verification of IEC 61131-3 Structured Text Programs. IEEE Trans. Ind. Informatics 17 (4) (2021)
Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. IEEE Access 7 (2019)
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF (2018)