Yunxia Bao

12 papers C 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Use-After-Free Vulnerability Detection Method for Multi-Threaded Programs Based on an Improved Petri Net and Value Flow Graph.
IEEE Access
Shanshan Li, Yunxia Bao, Faming Lu, Cheng Yu, Cong Liu
2025 J jnl
Segment-Based May-Happen-in-Parallel Analysis for C Programs.
Concurr. Comput. Pract. Exp.
Faming Lu, Xiaoyu Wang, Qingtian Zeng, Guiyuan Yuan, Yunxia Bao
2024 J jnl
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.
IEEE Access
Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng
2024 J jnl
Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning.
Inf. Sci.
Xiaoliang Wang, Faming Lu, MengChu Zhou, Qingtian Zeng, Yunxia Bao
2022 — conf
A Survey of Detection Methods for Software Use-After-Free Vulnerability.
ICPCSEE (2)
Faming Lu, Mengfan Tang, Yunxia Bao, Xiaoyu Wang
2020 J jnl
Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining.
J. Medical Imaging Health Informatics
Faming Lu, Pengfei Li, Yunxia Bao, Cong Liu, Qingtian Zeng
2019 J jnl
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Faming Lu, Qingtian Zeng, MengChu Zhou, Yunxia Bao, Hua Duan
2019 J jnl
Deadlock detection-oriented unfolding of unbounded Petri nets.
Inf. Sci.
Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao
2019 — conf
Survey of Methods for Time Series Symbolic Aggregate Approximation.
ICPCSEE (1)
Lin Wang, Faming Lu, Minghao Cui, Yunxia Bao
2014 J jnl
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.
IEEE Trans. Syst. Man Cybern. Syst.
Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan
2012 C conf
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.
SEKE
Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An
2009 C conf
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function.
FUSION
Yunxia Bao, Chi Zhou, Peikun He, Erke Mao