Ziyue Zheng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Fine-Grained Code Analysis for Processor Fuzzing. | Ziyue Zheng, Zhi Qu, Yangdi Lyu |
| 2025 | ICCD | Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. | Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu |
| 2024 | ICCD | APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration. | Ziyue Zheng, Xiangchen Meng, Yangdi Lyu |
| 2024 | SMC | Energy-Optimized Task Offloading with Genetic Simulated-Annealing-Based PSO for Heterogeneous Edge and Cloud Computing. | Haitao Yuan, Ziyue Zheng, Jing Bi, Jia Zhang, MengChu Zhou |
| 2023 | DATE | STSearch: State Tracing-based Search Heuristics for RTL Validation. | Ziyue Zheng, Yangdi Lyu |