Hanyue Zheng

According to our database, Hanyue Zheng authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

2024

Bubble Sketch: A High-performance and Memory-efficient Sketch for Finding Top-<i>k</i> Items in Data Streams.

Lu Cao, Qilong Shi, Yuxi Liu, Hanyue Zheng, Yao Xin, Wenjun Li, Tong Yang, Yangyang Wang, Yang Xu, Weizhe Zhang, Mingwei Xu

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2021

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.

Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.

Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.

Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019