STSearch: State Tracing-based Search Heuristics for RTL Validation. - Ziyue Zheng; Yangdi Lyu (DATE, 2023)

APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration. - Ziyue Zheng; Xiangchen Meng; Yangdi Lyu (ICCD, 2024)

Energy-Optimized Task Offloading with Genetic Simulated-Annealing-Based PSO for Heterogeneous Edge and Cloud Computing. - Haitao Yuan 001; Ziyue Zheng; Jing Bi 001; Jia Zhang 001; MengChu Zhou (SMC, 2024)