Weijiang Hong

16 papers A* 1A 1B 1Misc 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Multi-modal Sketch-Based Behavior Tree Synthesis.
Proc. ACM Program. Lang.
Wenmeng Zhang, Zhenbang Chen, Weijiang Hong
2024 J jnl
Verification of message-passing uninterpreted programs.
Sci. Comput. Program.
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
2023 — conf
CSP based Formal Modeling and Verification of Behavior Trees.
QRS Companion
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
2023 Misc conf
Formal Verification Based Synthesis for Behavior Trees.
SETTA
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
2022 Misc conf
Collaborative Verification of Uninterpreted Programs.
TASE
Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
2021 — conf
A Robustness-Oriented Data Augmentation Method for DNN.
QRS Companion
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng
2021 B conf
Trace Abstraction-Based Verification for Uninterpreted Programs.
FM
Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
2020 A conf
Graph Neural Network-based Vulnerability Predication.
ICSME
Qi Feng, Chengdong Feng, Weijiang Hong
2020 J jnl
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.
Frontiers Inf. Technol. Electron. Eng.
Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
2020 A* conf
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.
ASE
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
2019 J jnl
Evaluation of model checkers by verifying message passing programs.
Sci. China Inf. Sci.
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
2019 J jnl
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program.
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2019 Misc conf
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
TASE
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
2018 J jnl
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.
CoRR
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
2017 — conf
Using Coq for Formal Modeling and Verification of Timed Connectors.
SEFM Workshops
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
2016 — conf
Reasoning About Connectors in Coq.
FACS
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun