default search action
Mengfei Yang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]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: 124520 (2024) - [j13]Xin Gao
ReBEC: A replacement-based energy-efficient fault-tolerance design for associative caches. Future Gener. Comput. Syst. 155: 39-52 (2024) - [c27]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: 3603-3614 - [c26]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: 12039-12050 - [c25]Yuanyu Zhang, Jia-Ning Wang, Zhumeng Zheng, Yulong Shen, Yunsong Jiang, Mengfei Yang:
Variational AutoEncoder-Based Radio Frequency Fingerprinting for GPS Anti-spoofing. NaNA 2024: 172-178 - [c24]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: 224-241 - 2023
- [j12]Jiawei Nian
An Efficient Fault-Tolerant Protection Method for L0 BTB. IEEE Trans. Circuits Syst. I Regul. Pap. 70(3): 1284-1297 (2023) - [j11]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): 4383-4397 (2023) - [c23]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: 417-426 - [c22]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: 1345-1356 - [c21]Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang:
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. QRS 2023: 562-568 - [i3]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 abs/2306.01260 (2023) - [i2]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 abs/2309.05906 (2023) - [i1]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 abs/2309.05908 (2023) - 2022
- [j10]Hongbiao Liu
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. IEEE Access 10: 12475-12486 (2022) - [c20]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: 506-518 - [c19]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: 801-804 - 2021
- [j9]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): 1367-1387 (2021) - [j8]Shaofeng Li
Memory State Verification Based on Inductive and Deductive Reasoning. IEEE Trans. Reliab. 70(3): 1026-1039 (2021) - [c18]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: 457-460 - 2020
- [c17]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: 213-218 - [c16]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: 1376-1386
2010 – 2019
- 2019
- [c15]Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang:
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. SETTA 2019: 72-88 - 2018
- [j7]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): 122103:1-122103:16 (2018) - [j6]Jian Gong
Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture. IEEE Trans. Evol. Comput. 22(6): 949-960 (2018) - 2017
- [p1]Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou:
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. Provably Correct Systems 2017: 39-58 - 2016
- [j5]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): 577-603 (2016) - [c14]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: 65-92 - 2015
- [j4]Cong Tian, Zhenhua Duan, Mengfei Yang:
Transformation from PLTL to automata via NFGs. J. Comb. Optim. 29(2): 406-417 (2015) - 2014
- [c13]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: 733-748 - [c12]Mengfei Yang, Naijun Zhan:
Combining Formal and Informal Methods in the Design of Spacecrafts. SETSS 2014: 290-323 - 2013
- [j3]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): 214-235 (2013) - [c11]Cong Tian, Zhenhua Duan, Mengfei Yang:
Deternimization of Büchi Automata as Partitioned Automata. COCOON 2013: 158-168 - [c10]Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He:
Bounded Model Checking for Propositional Projection Temporal Logic. COCOON 2013: 591-602 - [c9]Qian Ma, Zhenhua Duan, Mengfei Yang:
Integration of Linear Constraints with a Temporal Logic Programming Language. TASE 2013: 157-164 - 2012
- [j2]Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55(12): 2675-2693 (2012) - [c8]Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang:
Model Checking C Programs with MSVL. SOFL 2012: 87-103 - [c7]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: 188-191 - 2011
- [j1]Mengfei Yang, David Grace:
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission with Power Adjustment. Wirel. Pers. Commun. 57(1): 73-87 (2011) - [c6]Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang:
Static Data Race Detection for Interrupt-Driven Embedded Software. SSIRI (Companion) 2011: 47-52 - [c5]Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu:
An Embedded Operating System Design for the Lunar Exploration Rover. SSIRI (Companion) 2011: 160-165
2000 – 2009
- 2009
- [c4]Mengfei Yang, David Grace:
Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems. CrownCom 2009: 1-6 - [c3]Mengfei Yang, David Grace:
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection. ICCCN 2009: 1-6 - [c2]Jian Gong, Mengfei Yang:
Robustness of evolvable hardware in the case of fault and environmental change. ROBIO 2009: 1849-1852 - 2005
- [c1]Mengfei Yang, Honghua Zhang, Rucai Che, Zengqi Sun:
Fuel-Efficient Maneuvers for Constellation Initialization Using Fuzzy Logic Control. FSKD (1) 2005: 910-921
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-08 02:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: