Yunxia Bao

According to our database, Yunxia Bao authored at least 12 papers between 2009 and 2025.

Collaborative distances:

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

2025

Segment-Based May-Happen-in-Parallel Analysis for C Programs.

Faming Lu, Xiaoyu Wang, Qingtian Zeng, Guiyuan Yuan, Yunxia Bao

Concurr. Comput. Pract. Exp., 2025

A Use-After-Free Vulnerability Detection Method for Multi-Threaded Programs Based on an Improved Petri Net and Value Flow Graph.

Shanshan Li, Yunxia Bao, Faming Lu, Cheng Yu, Cong Liu

IEEE Access, 2025

2024

Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning.

Xiaoliang Wang, Faming Lu, Mengchu Zhou, Qingtian Zeng, Yunxia Bao

Inf. Sci., 2024

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.

Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng

IEEE Access, 2024

2022

A Survey of Detection Methods for Software Use-After-Free Vulnerability.

Faming Lu, Mengfan Tang, Yunxia Bao, Xiaoyu Wang

Proceedings of the Data Science, 2022

2020

Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining.

Faming Lu, Pengfei Li, Yunxia Bao, Cong Liu, Qingtian Zeng

J. Medical Imaging Health Informatics, 2020

2019

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.

Faming Lu, Qingtian Zeng, MengChu Zhou, Yunxia Bao, Hua Duan

IEEE Trans. Syst. Man Cybern. Syst., 2019

Deadlock detection-oriented unfolding of unbounded Petri nets.

Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao

Inf. Sci., 2019

Survey of Methods for Time Series Symbolic Aggregate Approximation.

Lin Wang, Faming Lu, Minghao Cui, Yunxia Bao

Proceedings of the Data Science, 2019

2014

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.

Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan

IEEE Trans. Syst. Man Cybern. Syst., 2014

2012

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.

Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2009

Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function.

Yunxia Bao, Chi Zhou, Peikun He, Erke Mao

Proceedings of the 12th International Conference on Information Fusion, 2009