Mengfei Yang

According to our database1, Mengfei Yang authored at least 39 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
DevEval: Evaluating Code Generation in Practical Software Projects.
CoRR, 2024

2023
C-DMR: a cache-based fault-tolerant protection method for register file.
J. Supercomput., March, 2023

An Efficient Fault-Tolerant Protection Method for L0 BTB.
IEEE Trans. Circuits Syst. I Regul. Pap., March, 2023

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

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR, 2023

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR, 2023

intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.
IEEE Access, 2022

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.
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.
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.
IEEE Trans. Reliab., 2021

Verification of Real Time Operating System Exception Management Based on SPARCv8.
J. Comput. Sci. Technol., 2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
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.
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.
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.
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.
IEEE Trans. Evol. Comput., 2018

Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

2017
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
Verifying safety critical task scheduling systems in PPTL axiom system.
J. Comb. Optim., 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015
Transformation from PLTL to automata via NFGs.
J. Comb. Optim., 2015

2014
Combining Formal and Informal Methods in the Design of Spacecrafts.
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Formal Verification of a Descent Guidance Control Program of a Lunar Lander.
Proceedings of the FM 2014: Formal Methods, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Integration of Linear Constraints with a Temporal Logic Programming Language.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Deternimization of Büchi Automata as Partitioned Automata.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

Bounded Model Checking for Propositional Projection Temporal Logic.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

2012
The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci., 2012

Cyber-physical Systems Modeling Method Based on Modelica.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Model Checking C Programs with MSVL.
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.
Wirel. Pers. Commun., 2011

An Embedded Operating System Design for the Lunar Exploration Rover.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Static Data Race Detection for Interrupt-Driven Embedded Software.
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.
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.
Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

Cognitive radio with reinforcement learning applied to heterogeneous multicast terrestrial communication systems.
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.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005


  Loading...