DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network. - Zixian Zhen; Xiangfu Zhao; Jinkai Zhang; Yichen Wang; Haiyue Chen (Comput. Networks, 2024)

SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods. - Haiyue Chen; Xiangfu Zhao; Yichen Wang; Zixian Zhen (Secur. Priv., 2024)

ContractGNN: Ethereum Smart Contract Vulnerability Detection Based on Vulnerability Sub-Graphs and Graph Neural Networks. - Yichen Wang; Xiangfu Zhao; Long He; Zixian Zhen; Haiyue Chen (IEEE Trans. Netw. Sci. Eng., 2024)

Verti-Arena: A Controllable and Standardized Indoor Testbed for Multi-Terrain Off-Road Autonomy. - Haiyue Chen; Aniket Datar; Tong Xu; Francesco Cancelliere; Harsh Rangwala; Madhan B. Rao; Daeun Song; David Eichinger; Xuesu Xiao (CoRR, 2025)