Haoqing Zhu

According to our database, Haoqing Zhu authored at least 5 papers between 2013 and 2023.

Collaborative distances:

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

2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023

2019

Operation optimization of Household Intelligent Electrical Equipment Based on Time-of-Use Price.

Linjun Shi, Xiaozhe Wang, Haoqing Zhu, Shilong Wang, Qihang Yang, Kejun Qian

Proceedings of the 2019 IEEE Canadian Conference of Electrical and Computer Engineering, 2019

2014

TSRF: A Trust-Aware Secure Routing Framework in Wireless Sensor Networks.

Junqi Duan, Dong Yang, Haoqing Zhu, Sidong Zhang, Jing Zhao

Int. J. Distributed Sens. Networks, 2014

2013

Analytical modeling of link duration for vehicular ad hoc networks in urban environment.

Miao Hu, Zhangdui Zhong, Haoqing Zhu, Minming Ni, Chih-Yung Chang

Proceedings of the Proceeding of the tenth ACM international workshop on Vehicular inter-networking, 2013