Fuel-Efficient Maneuvers for Constellation Initialization Using Fuzzy Logic Control. - Mengfei Yang; Honghua Zhang; Rucai Che; Zengqi Sun (FSKD (1), 2005)

Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems. - Mengfei Yang; David Grace (CrownCom, 2009)

Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection. - Mengfei Yang; David Grace (ICCCN, 2009)

Robustness of evolvable hardware in the case of fault and environmental change. - Jian Gong; Mengfei Yang (ROBIO, 2009)

Static Data Race Detection for Interrupt-Driven Embedded Software. - Rui Chen; Xiangying Guo; Yonghao Duan; Bin Gu 006; Mengfei Yang (SSIRI (Companion), 2011)

An Embedded Operating System Design for the Lunar Exploration Rover. - Lei Qiao 002; Mengfei Yang; Bin Gu 006; Hua Yang; Bo Liu (SSIRI (Companion), 2011)

Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission with Power Adjustment. - Mengfei Yang; David Grace (Wirel. Pers. Commun., 2011)

Model Checking C Programs with MSVL. - Yan Yu; Zhenhua Duan; Cong Tian; Mengfei Yang (SOFL, 2012)

Cyber-physical Systems Modeling Method Based on Modelica. - Junjie Tang; Jianjun Zhao; Jianwan Ding; Liping Chen; Gang Xie; Bin Gu 006; Mengfei Yang (SERE (Companion), 2012)

The stochastic semantics and verification for periodic control systems. - Mengfei Yang; Zheng Wang 005; Geguang Pu; Shengchao Qin; Bin Gu 006; Jifeng He 001 (Sci. China Inf. Sci., 2012)

Bounded Model Checking for Propositional Projection Temporal Logic. - Zhenhua Duan; Cong Tian; Mengfei Yang; Jia He (COCOON, 2013)

Deternimization of Büchi Automata as Partitioned Automata. - Cong Tian; Zhenhua Duan; Mengfei Yang (COCOON, 2013)

Integration of Linear Constraints with a Temporal Logic Programming Language. - Qian Ma; Zhenhua Duan; Mengfei Yang (TASE, 2013)

A novel requirement analysis approach for periodic control systems. - Zheng Wang 005; Geguang Pu; Jianwen Li; Yuxiang Chen; Yongxin Zhao; Mingsong Chen 001; Bin Gu 006; Mengfei Yang; Jifeng He 001 (Frontiers Comput. Sci., 2013)

Formal Verification of a Descent Guidance Control Program of a Lunar Lander. - Hengjun Zhao; Mengfei Yang; Naijun Zhan; Bin Gu 006; Liang Zou; Yao Chen (FM, 2014)

Combining Formal and Informal Methods in the Design of Spacecrafts. - Mengfei Yang; Naijun Zhan (SETSS, 2014)

Transformation from PLTL to automata via NFGs. - Cong Tian; Zhenhua Duan; Mengfei Yang (J. Comb. Optim., 2015)

A Two-Way Path Between Formal and Informal Design of Embedded Systems. - Mingshuai Chen; Anders P. Ravn; Shuling Wang 003; Mengfei Yang; Naijun Zhan (UTP, 2016)

Verifying safety critical task scheduling systems in PPTL axiom system. - Nan Zhang 001; Mengfei Yang; Bin Gu 006; Zhenhua Duan; Cong Tian (J. Comb. Optim., 2016)

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. - Mingshuai Chen; Xiao Han 003; Tao Tang 004; Shuling Wang 003; Mengfei Yang; Naijun Zhan; Hengjun Zhao; Liang Zou (Provably Correct Systems, 2017)

Formal modelling of list based dynamic memory allocators. - Bin Fang 004; Mihaela Sighireanu; Geguang Pu; Wen Su; Jean-Raymond Abrial; Mengfei Yang; Lei Qiao 002 (Sci. China Inf. Sci., 2018)

Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture. - Jian Gong; Mengfei Yang (IEEE Trans. Evol. Comput., 2018)

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. - Lei Qiao 002; Shaofeng Li; Hua Yang; Mengfei Yang (SETTA, 2019)

Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software. - Rui Chen; Tingting Yu; Yunsong Jiang; Chunpeng Jia; Chao Li 078; Dongdong Gao; Mengfei Yang (DSA, 2020)

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)

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; Yao Chen; Mengfei Yang; Naijun Zhan (RTAS, 2021)

Verification of Real Time Operating System Exception Management Based on SPARCv8. - Zhi Ma; Lei Qiao 002; Mengfei Yang; Shao-Feng Li; Jin-Kun Zhang (J. Comput. Sci. Technol., 2021)

Memory State Verification Based on Inductive and Deductive Reasoning. - Shaofeng Li; Lei Qiao 002; Mengfei Yang (IEEE Trans. Reliab., 2021)

Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. - Chao Li 078; Rui Chen; Boxiang Wang; Tingting Yu; Dongdong Gao; Mengfei Yang (ISSTA, 2022)

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. - Boxiang Wang; Rui Chen; Chao Li 078; Tingting Yu; Dongdong Gao; Mengfei Yang (ISSTA, 2022)

A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. - Hongbiao Liu; Chen Xi; Lei Qiao 002; Jingkun Zhang; Mengfei Yang (IEEE Access, 2022)

DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Hongbiao Liu; Jiawei Nian (HPCC/DSS/SmartCity/DependSys, 2023)

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. - Chao Li 078; Rui Chen; Boxiang Wang; Zhixuan Wang; Tingting Yu; Yunsong Jiang; Bin Gu 006; Mengfei Yang (ISSTA, 2023)

intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. - Chao Li 078; Zhixuan Wang; Rui Chen; Mengfei Yang (QRS, 2023)

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. - Jiang Liu 009; Han Su 003; Yunjun Bai; Bin Gu 006; Bai Xue 001; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. - Han Su 003; Jiyu Zhu; Shenghua Feng; Yunjun Bai; Bin Gu 006; Jiang Liu 009; Mengfei Yang; Naijun Zhan (CoRR, 2023)

An Efficient Fault-Tolerant Protection Method for L0 BTB. - Jiawei Nian; Zongnan Liang; Hongjin Liu; Mengfei Yang (IEEE Trans. Circuits Syst. I Regul. Pap., 2023)

C-DMR: a cache-based fault-tolerant protection method for register file. - Zongnan Liang; Jiawei Nian; Hongjin Liu; Xuru Wang; Mengfei Yang (J. Supercomput., 2023)

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 001 (ACL (Findings), 2024)

DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories. - Jia Li 012; Ge Li 001; Yunfei Zhao; Yongmin Li; Huanyu Liu; Hao Zhu; Lecheng Wang; Kaibo Liu; Zheng Fang; Lanshen Wang; Jiazheng Ding; Xuanming Zhang; et al. (ACL (Findings), 2024)

Variational AutoEncoder-Based Radio Frequency Fingerprinting for GPS Anti-spoofing. - Yuanyu Zhang; Jia-Ning Wang; Zhumeng Zheng; Yulong Shen; Yunsong Jiang; Mengfei Yang (NaNA, 2024)

An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Zhi Ma; Shaofeng Li; Shenghui Zhu (TASE, 2024)

An efficient schedulability analysis based on worst-case interference time for real-time systems. - Hongbiao Liu; Mengfei Yang; Lei Qiao 002; Xi Chen; Jian Gong (Sci. China Inf. Sci., 2024)

The impacts of online public opinions on stock price synchronicity in China: Evidence from stock forums. - Kai Chang; Mengfei Yang; Shengqi Zhou; Guangxi Wei (Expert Syst. Appl., 2024)

ReBEC: A replacement-based energy-efficient fault-tolerance design for associative caches. - Xin Gao; Naiyuan Cui; Jiawei Nian; Zongnan Liang; Jiaxuan Gao; Hongjin Liu; Mengfei Yang (Future Gener. Comput. Syst., 2024)

Reset controller synthesis: a correct-by-construction way to the design of CPS. - Naijun Zhan; Han Su 003; Mengfei Yang; Bin Gu 006 (Res. Dir. Cyber Phys. Syst., 2024)

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software. - Boxiang Wang; Chao Li 078; Rui Chen; Sheng Wang; Chunpeng Jia; Mengfei Yang (SIGSOFT FSE Companion, 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; Xiaogang Dong; Bin Gu 006; Zhi Jin; Mengfei Yang (SIGSOFT FSE Companion, 2025)

MIFS: A low overhead and efficient mixture file index management method in flash file system. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Xi Chen (J. Syst. Archit., 2025)

STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. - Jinwei Liu; Chao Li 078; Rui Chen; Shaofeng Li; Bin Gu 006; Mengfei Yang (Proc. ACM Softw. Eng., 2025)

SAT-based bounded model checking for propositional projection temporal logic. - Zhenhua Duan; Cong Tian; Nan Zhang 001; Chaofeng Yu; Mengfei Yang; Jia He (Theor. Comput. Sci., 2025)