Hanyue Zheng

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

Collaborative distances:

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

2023

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

CoRR, 2023

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