Yunxia Bao

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 7

Top Topics

Deadlock Detection

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Xiaoliang Wang, Faming Lu, Mengchu Zhou, Qingtian Zeng, Yunxia Bao
Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning. Inf. Sci. 680 (2024)
Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. IEEE Access 12 (2024)
Faming Lu, Mengfan Tang, Yunxia Bao, Xiaoyu Wang
A Survey of Detection Methods for Software Use-After-Free Vulnerability. ICPCSEE (2) (2022)
Faming Lu, Pengfei Li, Yunxia Bao, Cong Liu, Qingtian Zeng
Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining. J. Medical Imaging Health Informatics 10 (7) (2020)
Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao
Deadlock detection-oriented unfolding of unbounded Petri nets. Inf. Sci. 497 (2019)
Faming Lu, Qingtian Zeng, MengChu Zhou, Yunxia Bao, Hua Duan
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 49 (6) (2019)
Lin Wang, Faming Lu, Minghao Cui, Yunxia Bao
Survey of Methods for Time Series Symbolic Aggregate Approximation. ICPCSEE (1) (2019)
Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes. IEEE Trans. Syst. Man Cybern. Syst. 44 (2) (2014)
Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. SEKE (2012)
Yunxia Bao, Chi Zhou, Peikun He, Erke Mao
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function. FUSION (2009)