-
Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2026. accepted. (CCF B)
-
李海波,蔡其航,郑黎晓,等.大语言模型赋能的用户参与式产品功能拓扑生成方法[J/OL].计算机集成制造系统,1-24. https://doi.org/10.13196/j.cims.2024.Z23, 2026.1
-
李海波，赵振博，郭春丽，蔡其航，郑黎晓，等. 基于MODWT-变点矫正的多粒度事件时序预测方法, 计算机集成制造系统. 2026，6
-
Li, H., Zheng, L., Cai, Q. A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. Lecture Notes in Computer Science, vol 16229. Springer, Singapore, Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings Pages 189 - 208 https://doi-org-s.atrust.hqu.edu.cn:9443/10.10（CCF C）
-
Haibo Li, etc. A Hybrid Teaching Model for the Software Requirement Analysis and Modeling Course, ICMEIM 2022, pp. 548–552, 2022..ICMEIM 2022
