Jiawen Xiong

According to our database, Jiawen Xiong authored at least 9 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Towards Build Verifiability for Java-based Systems.

Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Côgo, Zhen Ming Jiang

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

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

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

General past-time linear temporal logic specification mining.

Jianqi Shi, Jiawen Xiong, Yanhong Huang

CCF Trans. High Perform. Comput., 2021

2019

A Decomposition-Based Development Method for Industrial Control Systems.

Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang

IEEE Access, 2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.

Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong

IEEE Access, 2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.

Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework.

Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

Decomposition and Collaboration of Industrial Control System with Resource Constraints.

Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017