A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. - Weikai Miao; Qianqian Yan; Yihao Huang 001; Jincao Feng; Hanyue Zheng (APSEC, 2019)

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. - Yihao Huang 001; Jincao Feng; Hanyue Zheng; Jiayi Zhu 002; Shang Wang; Siyuan Jiang; Weikai Miao; Geguang Pu (ASE, 2019)

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. - Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang 001; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Gu 006; Geguang Pu; Mengfei Yang; Jifeng He 001 (ESEC/SIGSOFT FSE, 2020)

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. - Hanyue Zheng; Jincao Feng; Weikai Miao; Geguang Pu (TASE, 2021)

Bubble Sketch: A High-performance and Memory-efficient Sketch for Finding Top-k Items in Data Streams. - Lu Cao; Qilong Shi; Yuxi Liu; Hanyue Zheng; Yao Xin; Wenjun Li 004; Tong Yang 003; Yangyang Wang 001; Yang Xu 010; Weizhe Zhang; Mingwei Xu (CIKM, 2024)

HeavyLocker: Lock Heavy Hitters in Distributed Data Streams. - Qilong Shi; Xirui Li; Hanyue Zheng; Tong Yang 003; Yangyang Wang 001; Mingwei Xu (KDD (1), 2025)