Jiawen Xiong

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 10

Top Topics

Linear Temporal Logic

Symbolic Execution

Generation Method

Traffic Accidents

Top Venues

Publications

Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Côgo, Zhen Ming Jiang
Towards Build Verifiability for Java-based Systems. CoRR (2022)
Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Côgo, Zhen Ming Jiang
Towards Build Verifiability for Java-based Systems. ICSE (SEIP) (2022)
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)
Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. J. Intell. Manuf. 32 (2) (2021)
Jianqi Shi, Jiawen Xiong, Yanhong Huang
General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3 (4) (2021)
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7 (2019)
Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning. IEEE Access 7 (2019)
Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. REFSQ Workshops (2019)
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF (2018)
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS (2017)