Weijiang Hong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2017–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2023 | QRS | CSP based Formal Modeling and Verification of Behavior Trees. | Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2023 | SETTA | Formal Verification Based Synthesis for Behavior Trees. | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang |
| 2022 | TASE | Collaborative Verification of Uninterpreted Programs. | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2021 | FM | Trace Abstraction-Based Verification for Uninterpreted Programs. | Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang |
| 2021 | QRS | A Robustness-Oriented Data Augmentation Method for DNN. | Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng |
| 2019 | TASE | Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. | Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun |
| 2017 | SEFM | Using Coq for Formal Modeling and Verification of Timed Connectors. | Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun |