Mengfei Yang

55 papers A* 1A 5B 2C 1Misc 5Journal 23Unranked 17
YearRankTypeTitle / Venue / Authors
2025 A* conf
Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs.
ASE
Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025 J jnl
Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs.
CoRR
Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025 — conf
Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software.
SIGSOFT FSE Companion
Longxing Yang, Yixing Luo, Hao Gao, Yingshuang Fan, Jingru Zhang, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang
2025 J jnl
MIFS: A low overhead and efficient mixture file index management method in flash file system.
J. Syst. Archit.
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Xi Chen
2025 J jnl
SAT-based bounded model checking for propositional projection temporal logic.
Theor. Comput. Sci.
Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He
2025 J jnl
STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs.
Proc. ACM Softw. Eng.
Jinwei Liu, Chao Li, Rui Chen, Shaofeng Li, Bin Gu, Mengfei Yang
2025 — conf
SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software.
SIGSOFT FSE Companion
Boxiang Wang, Chao Li, Rui Chen, Sheng Wang, Chunpeng Jia, Mengfei Yang
2025 A conf
Taxonomy-Guided Reasoning for Requirements Classification: A Study in Aerospace Industry.
RE
Yixing Luo, Yang Liu, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang
2024 Misc conf
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction.
TASE
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu
2024 J jnl
An efficient schedulability analysis based on worst-case interference time for real-time systems.
Sci. China Inf. Sci.
Hongbiao Liu, Mengfei Yang, Lei Qiao, Xi Chen, Jian Gong
2024 — conf
DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories.
ACL (Findings)
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
2024 — conf
Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models.
ACL (Findings)
Yihong Dong, Xue Jiang, Huanyu Liu, Zhi Jin, Bin Gu, Mengfei Yang, Ge Li
2024 J jnl
ReBEC: A replacement-based energy-efficient fault-tolerance design for associative caches.
Future Gener. Comput. Syst.
Xin Gao, Naiyuan Cui, Jiawei Nian, Zongnan Liang, Jiaxuan Gao, Hongjin Liu, Mengfei Yang
2024 J jnl
Reset controller synthesis: a correct-by-construction way to the design of CPS.
Res. Dir. Cyber Phys. Syst.
Naijun Zhan, Han Su, Mengfei Yang, Bin Gu
2024 J jnl
The impacts of online public opinions on stock price synchronicity in China: Evidence from stock forums.
Expert Syst. Appl.
Kai Chang, Mengfei Yang, Shengqi Zhou, Guangxi Wei
2024 — conf
Variational AutoEncoder-Based Radio Frequency Fingerprinting for GPS Anti-spoofing.
NaNA
Yuanyu Zhang, Jia-Ning Wang, Zhumeng Zheng, Yulong Shen, Yunsong Jiang, Mengfei Yang
2023 J jnl
An Efficient Fault-Tolerant Protection Method for L0 BTB.
IEEE Trans. Circuits Syst. I Regul. Pap.
Jiawei Nian, Zongnan Liang, Hongjin Liu, Mengfei Yang
2023 A conf
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.
ISSTA
Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang
2023 J jnl
C-DMR: a cache-based fault-tolerant protection method for register file.
J. Supercomput.
Zongnan Liang, Jiawei Nian, Hongjin Liu, Xuru Wang, Mengfei Yang
2023 J jnl
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR
Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan
2023 — conf
DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access.
HPCC/DSS/SmartCity/DependSys
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian
2023 J jnl
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2023 J jnl
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.
CoRR
Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan
2023 C conf
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program.
QRS
Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang
2022 J jnl
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.
IEEE Access
Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang
2022 A conf
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.
ISSTA
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang
2022 A conf
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.
ISSTA
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang
2021 A conf
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
RTAS
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
2021 J jnl
Memory State Verification Based on Inductive and Deductive Reasoning.
IEEE Trans. Reliab.
Shaofeng Li, Lei Qiao, Mengfei Yang
2021 J jnl
Verification of Real Time Operating System Exception Management Based on SPARCv8.
J. Comput. Sci. Technol.
Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang
2020 — conf
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.
DSA
Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang
2020 — conf
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2019 Misc conf
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
SETTA
Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
2018 J jnl
Evolutionary Fault Tolerance Method Based on Virtual Reconfigurable Circuit With Neural Network Architecture.
IEEE Trans. Evol. Comput.
Jian Gong, Mengfei Yang
2018 J jnl
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci.
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
2017 — ch.
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Provably Correct Systems
Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou
2016 — conf
A Two-Way Path Between Formal and Informal Design of Embedded Systems.
UTP
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
2016 J jnl
Verifying safety critical task scheduling systems in PPTL axiom system.
J. Comb. Optim.
Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
2015 J jnl
Transformation from PLTL to automata via NFGs.
J. Comb. Optim.
Cong Tian, Zhenhua Duan, Mengfei Yang
2014 — conf
Combining Formal and Informal Methods in the Design of Spacecrafts.
SETSS
Mengfei Yang, Naijun Zhan
2014 B conf
Formal Verification of a Descent Guidance Control Program of a Lunar Lander.
FM
Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen
2013 J jnl
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci.
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
2013 Misc conf
Bounded Model Checking for Propositional Projection Temporal Logic.
COCOON
Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He
2013 Misc conf
Deternimization of Büchi Automata as Partitioned Automata.
COCOON
Cong Tian, Zhenhua Duan, Mengfei Yang
2013 Misc conf
Integration of Linear Constraints with a Temporal Logic Programming Language.
TASE
Qian Ma, Zhenhua Duan, Mengfei Yang
2012 — conf
Cyber-physical Systems Modeling Method Based on Modelica.
SERE (Companion)
Junjie Tang, Jianjun Zhao, Jianwan Ding, Liping Chen, Gang Xie, Bin Gu, Mengfei Yang
2012 — conf
Model Checking C Programs with MSVL.
SOFL
Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
2012 J jnl
The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci.
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
2011 — conf
An Embedded Operating System Design for the Lunar Exploration Rover.
SSIRI (Companion)
Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu
2011 J jnl
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission with Power Adjustment.
Wirel. Pers. Commun.
Mengfei Yang, David Grace
2011 — conf
Static Data Race Detection for Interrupt-Driven Embedded Software.
SSIRI (Companion)
Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang
2009 B conf
Cognitive Radio with Reinforcement Learning Applied to Multicast Downlink Transmission and Distributed Occupancy Detection.
ICCCN
Mengfei Yang, David Grace
2009 — conf
Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems.
CrownCom
Mengfei Yang, David Grace
2009 — conf
Robustness of evolvable hardware in the case of fault and environmental change.
ROBIO
Jian Gong, Mengfei Yang
2005 — conf
Fuel-Efficient Maneuvers for Constellation Initialization Using Fuzzy Logic Control.
FSKD (1)
Mengfei Yang, Honghua Zhang, Rucai Che, Zengqi Sun