Mengfei Yang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 27

Top Topics

Garbage Collection

Control Program

Embedded Software

Top Venues

J. Comb. Optim.

Publications

Yihong Dong, Xue Jiang, Huanyu Liu, Zhi Jin, Bin Gu, Mengfei Yang, Ge Li
Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models. ACL (Findings) (2024)
Kai Chang, Mengfei Yang, Shengqi Zhou, Guangxi Wei
The impacts of online public opinions on stock price synchronicity in China: Evidence from stock forums. Expert Syst. Appl. 255 (2024)
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. TASE (2024)
Jia Li, Ge Li, Yunfei Zhao, Yongmin Li, Zhi Jin, Hao Zhu, Huanyu Liu, Kaibo Liu, Lecheng Wang, Zheng Fang, Lanshen Wang, Jiazheng Ding, Xuanming Zhang, Yihong Dong, Yuqi Zhu, Bin Gu, Mengfei Yang
DevEval: Evaluating Code Generation in Practical Software Projects. CoRR (2024)
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
DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories. ACL (Findings) (2024)
Xin Gao, Naiyuan Cui, Jiawei Nian, Zongnan Liang, Jiaxuan Gao, Hongjin Liu, Mengfei Yang
ReBEC: A replacement-based energy-efficient fault-tolerance design for associative caches. Future Gener. Comput. Syst. 155 (2024)
Zongnan Liang, Jiawei Nian, Hongjin Liu, Xuru Wang, Mengfei Yang
C-DMR: a cache-based fault-tolerant protection method for register file. J. Supercomput. 79 (4) (2023)
Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. ISSTA (2023)
Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. QRS (2023)
Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. CoRR (2023)
Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. CoRR (2023)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR (2023)
Jiawei Nian, Zongnan Liang, Hongjin Liu, Mengfei Yang
An Efficient Fault-Tolerant Protection Method for L0 BTB. IEEE Trans. Circuits Syst. I Regul. Pap. 70 (3) (2023)
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian
DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. HPCC/DSS/SmartCity/DependSys (2023)
Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. IEEE Access 10 (2022)
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. ISSTA (2022)
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. ISSTA (2022)
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS (2021)
Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang
Verification of Real Time Operating System Exception Management Based on SPARCv8. J. Comput. Sci. Technol. 36 (6) (2021)
Shaofeng Li, Lei Qiao, Mengfei Yang
Memory State Verification Based on Inductive and Deductive Reasoning. IEEE Trans. Reliab. 70 (3) (2021)
Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software. DSA (2020)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. SETTA (2019)
Jian Gong, Mengfei Yang
Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture. IEEE Trans. Evol. Comput. 22 (6) (2018)
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61 (12) (2018)
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
A Two-Way Path Between Formal and Informal Design of Embedded Systems. UTP (2016)
Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31 (2) (2016)
Cong Tian, Zhenhua Duan, Mengfei Yang
Transformation from PLTL to automata via NFGs. J. Comb. Optim. 29 (2) (2015)
Mengfei Yang, Naijun Zhan
Combining Formal and Informal Methods in the Design of Spacecrafts. SETSS (2014)
Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. FM (2014)
Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He
Bounded Model Checking for Propositional Projection Temporal Logic. COCOON (2013)
Cong Tian, Zhenhua Duan, Mengfei Yang
Deternimization of Büchi Automata as Partitioned Automata. COCOON (2013)
Qian Ma, Zhenhua Duan, Mengfei Yang
Integration of Linear Constraints with a Temporal Logic Programming Language. TASE (2013)
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7 (2) (2013)
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55 (12) (2012)
Junjie Tang, Jianjun Zhao, Jianwan Ding, Liping Chen, Gang Xie, Bin Gu, Mengfei Yang
Cyber-physical Systems Modeling Method Based on Modelica. SERE (Companion) (2012)
Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
Model Checking C Programs with MSVL. SOFL (2012)
Mengfei Yang, David Grace
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission with Power Adjustment. Wirel. Pers. Commun. 57 (1) (2011)
Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu
An Embedded Operating System Design for the Lunar Exploration Rover. SSIRI (Companion) (2011)
Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang
Static Data Race Detection for Interrupt-Driven Embedded Software. SSIRI (Companion) (2011)
Mengfei Yang, David Grace
Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems. CrownCom (2009)
Jian Gong, Mengfei Yang
Robustness of evolvable hardware in the case of fault and environmental change. ROBIO (2009)
Mengfei Yang, David Grace
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection. ICCCN (2009)
Mengfei Yang, Honghua Zhang, Rucai Che, Zengqi Sun
Fuel-Efficient Maneuvers for Constellation Initialization Using Fuzzy Logic Control. FSKD (1) (2005)