Faming Lu

According to our database, Faming Lu authored at least 29 papers between 2011 and 2025.

Collaborative distances:

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

2025

CRViT: Vision transformer advanced by causality and inductive bias for image recognition.

Faming Lu, Kunhao Jia, Xue Zhang, Lin Sun

Appl. Intell., January, 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

Enhancing Healthcare Process Model Discovery Through Duplicate Task Identification.

Xuan Su, Cong Liu, Faming Lu, Long Cheng, Qingtian Zeng, Jiehan Zhou

Proceedings of the IEEE International Conference on Web Services, 2025

EdgeIM: An Efficient Edge-Based Process Model Discovery Technique.

Xuan Su, Cong Liu, Faming Lu, Long Cheng, Qingtian Zeng, Shouli Zhang

Proceedings of the IEEE International Conference on Web Services, 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

2023

Business process remaining time prediction using explainable reachability graph from gated RNNs.

Rui Cao, Qingtian Zeng, Weijian Ni, Hua Duan, Cong Liu, Faming Lu, Ziqi Zhao

Appl. Intell., June, 2023

2022

A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment.

Xiaoliang Wang, Faming Lu, MengChu Zhou, Qingtian Zeng

Expert Syst. Appl., 2022

Transition-driven time prediction for business processes with cycles.

Rui Cao, Qingtian Zeng, Weijian Ni, Faming Lu, Changhong Zhou, Wenyan Guo

Expert Syst. Appl., 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

A Survey of Malware Classification Methods Based on Data Flow Graph.

Tingting Jiang, Lingling Cui, Zedong Lin, Faming Lu

Proceedings of the Data Science, 2022

2021

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection.

Zongyin Hao, Faming Lu

Int. J. Softw. Informatics, 2021

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

Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining.

Cong Liu, Hua Duan, Qingtian Zeng, MengChu Zhou, Faming Lu, Jiujun Cheng

IEEE Trans. Serv. Comput., 2019

Deadlock detection-oriented unfolding of unbounded Petri nets.

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

Inf. Sci., 2019

A Semi-Empirical Model Of Sea Clutter Based On Zero Memory Nonlinearity.

Gengkun Wu, Jian-Cong Fan, Fuxin Zhang, Faming Lu

IEEE Access, 2019

A Semantic User Distance Metric Using GPS Trajectory Data.

Zedong Lin, Qingtian Zeng, Hua Duan, Cong Liu, Faming Lu

IEEE Access, 2019

Survey of Methods for Time Series Symbolic Aggregate Approximation.

Lin Wang, Faming Lu, Minghao Cui, Yunxia Bao

Proceedings of the Data Science, 2019

2018

An introduction and review of petri net unfolding technology.

Ranran Tao, Faming Lu, Xueping Zhang, Guanye Zhu

Proceedings of the 4th International Conference on Communication and Information Processing, 2018

Finding similar users from GPS data based on assignment problem.

Zedong Lin, Qingtian Zeng, Hua Duan, Faming Lu

Proceedings of the 4th International Conference on Communication and Information Processing, 2018

2016

Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies.

Faming Lu, Qingtian Zeng, Hua Duan

ACM Trans. Knowl. Discov. Data, 2016

2015

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets.

Qingtian Zeng, Faming Lu, Cong Liu, Hua Duan, Changhong Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2015

E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations.

Cong Liu, Qingtian Zeng, Hua Duan, MengChu Zhou, Faming Lu, Jiujun Cheng

IEEE Trans. Syst. Man Cybern. Syst., 2015

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

Domain Ontology Design and Reasoning for Resource Matchmaking in Emergency Response Systems.

Qingtian Zeng, Jian Sun, Faming Lu, Sen Feng, Jiufang An, Ke Zhao

Int. J. Knowl. Syst. Sci., 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

2011

Proposal of Ontology for Resource Matchmaking Schema in Emergency Response Systems.

Jian Sun, Qingtian Zeng, Faming Lu, Sen Feng, Jiufang An

Proceedings of the Knowledge Science, Engineering and Management, 2011