Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. - Bohua Zhan; Bin Gu 006; Xiong Xu; Xiangyu Jin; Shuling Wang 003; Bai Xue 001; Xiaofeng Li 005; Yao Chen; Mengfei Yang; Naijun Zhan (RTAS, 2021)

Research on the Safety Assurance Framework for Spacecraft Embedded Software. - Weirui Shang; Jihong Dang; Yao Chen; Xiaofeng Li 005; Xiaogang Dong (ICSED, 2023)

Improve Software Development: An Overview of Program Synthesis. - Heran Wang; Xiaogang Dong; Bin Gu 006; Xiaofeng Li 005; Ruiming Zhong (ICSED, 2023)

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs. - Xinbang Hu; Guanjun Liu; Xiaofeng Li 005; Kaiwen Zhang 010; Jian Guan; Bin Gu 006 (ICNSC, 2024)

Data Augmentation for Vulnerability Detection Based on Code Refactoring and Mixup. - Ying Xing; Jiaqi Huang; Guilong Wang; Yehao You; Bin Yang 038; Xiaofeng Li 005; Yixing Luo (ISSRE (Workshops), 2024)

Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets. - Kaiwen Zhang 010; Guanjun Liu; Yantao Sun; Xiaofeng Li 005; Jian Guan; Yi Xie; Bin Gu 006 (Int. J. Softw. Informatics, 2024)

Oneshotimizer: Consistent and Effective NAS via Regularizing Gradient Norm and Weight Variance. - Longxing Yang; Xiaofeng Li 005; Xiaogang Dong; Bin Gu 006 (ICIC (16), 2025)

Leveraging Large Language Models for Reusable Requirements Management in Aerospace Software. - Yixing Luo; Yiping Wang; Xiaofeng Li 005; Bin Gu 006; Zhi Jin 001 (RE, 2025)

Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software. - Longxing Yang; Yixing Luo; Hao Gao 009; Yingshuang Fan; Jingru Zhang; Xiaofeng Li 005; Xiaogang Dong; Bin Gu 006; Zhi Jin 001; Mengfei Yang (SIGSOFT FSE Companion, 2025)

A fine-grained approach for Android taint analysis based on labeled taint value graphs. - Dongming Xiang; Shuai Lin; Ke Huang; Zuohua Ding; Guanjun Liu; Xiaofeng Li 005 (Comput. Secur., 2025)

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries. - Fanpeng Yang; Xu Ma; Shuling Wang 003; Xiong Xu; Qinxiang Cao; Naijun Zhan; Xiaofeng Li 005; Bin Gu 006 (CoRR, 2025)

Deep Learning Based Concurrency Bug Detection and Localization. - Zuocheng Feng; Kaiwen Zhang 010; Miaomiao Wang; Yiming Cheng; Yuandao Cai; Xiaofeng Li 005; Guanjun Liu (CoRR, 2025)