| 2026 | FM | Automated LTL Specification Generation from Industrial Aerospace Requirements. | Zhi Ma, Xiao Liang, Cheng Wen, Rui Chen, Bin Gu, Shengchao Qin, Cong Tian, Mengfei Yang |
| 2025 | RE | Taxonomy-Guided Reasoning for Requirements Classification: A Study in Aerospace Industry. | Yixing Luo, Yang Liu, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang |
| 2024 | ACL | Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models. | Yihong Dong, Xue Jiang, Huanyu Liu, Zhi Jin, Bin Gu, Mengfei Yang, Ge Li |
| 2024 | ACL | DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories. | Jia Li, Ge Li, Yunfei Zhao, Yongmin Li, Huanyu Liu, Hao Zhu, Lecheng Wang, Kaibo Liu, Zheng Fang, Lanshen Wang, Jiazheng Ding, Xuanming Zhang, Yuqi Zhu, Yihong Dong, Zhi Jin, Binhua Li, Fei Huang, Yongbin Li, Bin Gu, Mengfei Yang |
| 2024 | TASE | An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. | Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu |
| 2023 | HPCC | DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. | Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian |
| 2023 | ISSTA | An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. | Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang |
| 2023 | QRS | intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. | Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang |
| 2022 | ISSTA | Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. | Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang |
| 2022 | ISSTA | SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. | Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang |
| 2021 | RTAS | Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. | Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan |
| 2019 | SETTA | A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. | Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang |
| 2014 | FM | Formal Verification of a Descent Guidance Control Program of a Lunar Lander. | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen |
| 2013 | COCOON | Bounded Model Checking for Propositional Projection Temporal Logic. | Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He |
| 2013 | COCOON | Deternimization of Bchi Automata as Partitioned Automata. | Cong Tian, Zhenhua Duan, Mengfei Yang |
| 2013 | TASE | Integration of Linear Constraints with a Temporal Logic Programming Language. | Qian Ma, Zhenhua Duan, Mengfei Yang |
| 2009 | ICCCN | Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection. | Mengfei Yang, David Grace |