Jiawen Xiong

11 papers A* 1B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
LLM-Aided Automatic Modeling for Security Protocol Verification.
ICSE
Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong
2022 — conf
Towards Build Verifiability for Java-based Systems.
ICSE (SEIP)
Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Côgo, Zhen Ming Jiang
2022 J jnl
Towards Build Verifiability for Java-based Systems.
CoRR
Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Côgo, Zhen Ming Jiang
2021 J jnl
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf.
Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
2021 J jnl
General past-time linear temporal logic specification mining.
CCF Trans. High Perform. Comput.
Jianqi Shi, Jiawen Xiong, Yanhong Huang
2021 J jnl
Safety Verification of IEC 61131-3 Structured Text Programs.
IEEE Trans. Ind. Informatics
Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Weigang He
2019 J jnl
A Decomposition-Based Development Method for Industrial Control Systems.
IEEE Access
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
2019 J jnl
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.
IEEE Access
Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong
2019 — conf
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.
REFSQ Workshops
Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She
2018 — conf
GANFuzz: a GAN-based industrial network protocol fuzzing framework.
CF
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
2017 B conf
Decomposition and Collaboration of Industrial Control System with Resource Constraints.
ICECCS
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang