Faming Lu

Orcid: 0000-0002-1992-7127

According to our database¹, Faming Lu authored at least 23 papers between 2011 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

IEEE Access, 2024

2023

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

[BibT_eX]

[DOI]

Appl. Intell., June, 2023

2022

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

[BibT_eX]

[DOI]

Expert Syst. Appl., 2022

Transition-driven time prediction for business processes with cycles.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2022

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

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2022

2021

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

[BibT_eX]

[DOI]

Zongyin Hao

Faming Lu

Int. J. Softw. Informatics, 2021

2020

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

[BibT_eX]

[DOI]

J. Medical Imaging Health Informatics, 2020

2019

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2019

Deadlock detection-oriented unfolding of unbounded Petri nets.

[BibT_eX]

[DOI]

Inf. Sci., 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

A Semantic User Distance Metric Using GPS Trajectory Data.

[BibT_eX]

[DOI]

IEEE Access, 2019

Survey of Methods for Time Series Symbolic Aggregate Approximation.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2019

2018

An introduction and review of petri net unfolding technology.

[BibT_eX]

[DOI]

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

Finding similar users from GPS data based on assignment problem.

[BibT_eX]

[DOI]

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

2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2014

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

Int. J. Knowl. Syst. Sci., 2012

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

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

Faming Lu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...