Mengfei Yang

According to our database, Mengfei Yang authored at least 44 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

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

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

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Variational AutoEncoder-Based Radio Frequency Fingerprinting for GPS Anti-spoofing.

Yuanyu Zhang, Jia-Ning Wang, Zhumeng Zheng, Yulong Shen, Yunsong Jiang, Mengfei Yang

Proceedings of the International Conference on Networking and Network Applications, 2024

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

Proceedings of the Findings of the Association for Computational Linguistics, 2024

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

Proceedings of the Findings of the Association for Computational Linguistics, 2024

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., March, 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., March, 2023

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.

Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan

CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan

CoRR, 2023

intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program.

Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

Proceedings of the IEEE International Conference on High Performance Computing & Communications, 2023

2022

A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.

Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang

IEEE Access, 2022

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.

Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

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

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Memory State Verification Based on Inductive and Deductive Reasoning.

Shaofeng Li, Lei Qiao, Mengfei Yang

IEEE Trans. Reliab., 2021

Verification of Real Time Operating System Exception Management Based on SPARCv8.

Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang

J. Comput. Sci. Technol., 2021

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

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.

Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.

Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

2018

Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture.

Jian Gong, Mengfei Yang

IEEE Trans. Evol. Comput., 2018

Formal modelling of list based dynamic memory allocators.

Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao

Sci. China Inf. Sci., 2018

2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou

Proceedings of the Provably Correct Systems, 2017

2016

Verifying safety critical task scheduling systems in PPTL axiom system.

Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015

Transformation from PLTL to automata via NFGs.

Cong Tian, Zhenhua Duan, Mengfei Yang

J. Comb. Optim., 2015

2014

Combining Formal and Informal Methods in the Design of Spacecrafts.

Mengfei Yang, Naijun Zhan

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Formal Verification of a Descent Guidance Control Program of a Lunar Lander.

Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen

Proceedings of the FM 2014: Formal Methods, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

Integration of Linear Constraints with a Temporal Logic Programming Language.

Qian Ma, Zhenhua Duan, Mengfei Yang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Deternimization of Büchi Automata as Partitioned Automata.

Cong Tian, Zhenhua Duan, Mengfei Yang

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

Bounded Model Checking for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

2012

The stochastic semantics and verification for periodic control systems.

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He

Sci. China Inf. Sci., 2012

Cyber-physical Systems Modeling Method Based on Modelica.

Junjie Tang, Jianjun Zhao, Jianwan Ding, Liping Chen, Gang Xie, Bin Gu, Mengfei Yang

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Model Checking C Programs with MSVL.

Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2011

Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission with Power Adjustment.

Mengfei Yang, David Grace

Wirel. Pers. Commun., 2011

An Embedded Operating System Design for the Lunar Exploration Rover.

Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Static Data Race Detection for Interrupt-Driven Embedded Software.

Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009

Robustness of evolvable hardware in the case of fault and environmental change.

Jian Gong, Mengfei Yang

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009

Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection.

Mengfei Yang, David Grace

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems.

Mengfei Yang, David Grace

Proceedings of the 4th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2009

2005

Fuel-Efficient Maneuvers for Constellation Initialization Using Fuzzy Logic Control.

Mengfei Yang, Honghua Zhang, Rucai Che, Zengqi Sun

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005