Ziyue Zheng

According to our database, Ziyue Zheng authored at least 11 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification.

Yuntao Lu, Chen Bai, Yuxuan Zhao, Ziyue Zheng, Yangdi Lyu, Mingyu Liu, Bei Yu

ACM Trans. Design Autom. Electr. Syst., July, 2026

Fine-Grained Code Analysis for Processor Fuzzing.

Ziyue Zheng, Zhi Qu, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

A radar-video fusion method for 3D object detection based on on-board edge computing in intelligent connected environments.

Yuliang Qi, Jia Sun, Chao Liu, Ziyue Zheng, Yinna Liu, Di Wu, Jiandong Zhao

EURASIP J. Wirel. Commun. Netw., December, 2025

Ergodic Trajectory Planning with Dynamic Sensor Footprints.

Ziyue Zheng, Yongce Liu, Hesheng Wang, Zhongqiang Ren

CoRR, December, 2025

Safety Improvement of Car-Following for Connected Vehicle Flow Based on Individual Speed Guidance Upstream of a Lower Speed Limit Expressway Section.

Yunkuan Cui, Danya Yao, Xinrui Ni, Yi Zhang, Wei Zhou, Yuliang Qi, Ziyue Zheng, Hongjun Zhang

Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

Energy-Optimized and Delay-Ensured Task Offloading in High-Mobility Vehicle Edge Computing Networks.

Ziyue Zheng, Haitao Yuan, Jing Bi, Jia Zhang, MengChu Zhou

Proceedings of the 2025 International Conference on Networking, 2025

Automatic and Efficient Test Case Generation with High-Diversity and Global-Search Particle Swarm Optimization.

Yuchen Zhao, Haitao Yuan, Jingyao Li, Ziyue Zheng, Jing Bi, Jia Zhang, MengChu Zhou

Proceedings of the 2025 International Conference on Networking, 2025

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

Proceedings of the 43rd IEEE International Conference on Computer Design, 2025

2024

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration.

Ziyue Zheng, Xiangchen Meng, Yangdi Lyu

Proceedings of the 42nd IEEE International Conference on Computer Design, 2024

2023

STSearch: State Tracing-based Search Heuristics for RTL Validation.

Ziyue Zheng, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023