Jiawen Xiong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | LLM-Aided Automatic Modeling for Security Protocol Verification. | Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong |
| 2022 | ICSE | Towards Build Verifiability for Java-based Systems. | Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe Roseiro Cgo, Zhen Ming Jiang |
| 2019 | REFSQ | Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. | Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She |
| 2017 | ICECCS | Decomposition and Collaboration of Industrial Control System with Resource Constraints. | Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang |