An Approach to Detecting Reentrancy Vulnerabilities in Interacting Smart Contracts Using Model Checking. - Xinzhuo Chai; Bi Huang; Ning Liu; Guoxi Liu; Xiaojing Wu; Fei Dai 002 (CyberSciTech, 2024)

STFormer: Spatio- Temporal Transformer Network for Traffic Flow Prediction. - LeCheng Li; Xinzhuo Chai; Fei Dai 002; Shuai Wang; Yueyu Dong; Bi Huang (CyberSciTech, 2024)

Review of Collaborative Inference in Edge Intelligence: Emphasis on DNN Partition. - Ning Liu; Fei Dai 002; Xinzhuo Chai; Guoxi Liu; Xiaoiing Wu; Bi Huang (CyberSciTech, 2024)

Improved YOLOv5 for Pavement Patch Detection Using Deformable Convolution and Bidirectional Feature Pyramid Network. - Xiaojing Wu; Xinzhuo Chai; Fei Dai 002; Shuai Wang; Yueyu Dong; Bi Huang (CyberSciTech, 2024)

Deadlock Analysis of Microservice Systems with Bounded Buffers. - Li Yang; Bi Huang; Xinzhuo Chai; Guoxi Liu; Xiaojing Wu; Fei Dai (CyberSciTech, 2024)