arrow
Back

鲁法明 (Faming Lu)

shandong university of science and technology

12H-index
48Paper Count
498Citation Count
Published Papers 17
Publication Date
Segment-Based May-Happen-in-Parallel Analysis for C Programs
err2025-09-25
err0
PREAI
errLu, Faming; Wang, Xiaoyu; Zeng, Qingtian; Yuan, Guiyuan; Bao, Yunxia
errShare
errSave
errShare
errSave
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks
err2024-01-01
err1
errOAAI
errLu, Faming; Lv, Fenghua; Cui, Minghao; Bao, Yunxia; Zeng, Qingtian
errShare
errSave
Transition-driven time prediction for business processes with cycles
err2022-12-01
err0
PREAI
errCao, Rui; Zeng, Qingtian; Ni, Weijian; Lu, Faming; Zhou, Changhong; Guo, Wenyan
errShare
errSave
Business process remaining time prediction using explainable reachability graph from gated RNNs
err2022-10-07
err3
PREAI
errCao, Rui; Zeng, Qingtian; Ni, Weijian; Duan, Hua; Liu, Cong; Lu, Faming; Zhao, Ziqi
errShare
errSave
errShare
errSave
Remaining time prediction for business processes with concurrency based on log representation
err2021-11-01
err2
PREAI
errCao, Rui; Ni, Weijian; Zeng, Qingtian; Lu, Faming; Liu, Cong; Duan, Hua
errShare
errSave
Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining
err2019-07-01
err90
PREAI
errLiu, Cong; Duan, Hua; Zeng, QingTian; Zhou, MengChu; Lu, Faming; Cheng, Jiujun
errShare
errSave
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets
err2019-06-01
err23
PREAI
errLu, Faming; Zeng, Qingtian; Zhou, MengChu; Bao, Yunxia; Duan, Hua
errShare
errSave
A Semi-Empirical Model Of Sea Clutter Based On Zero Memory Nonlinearity
err2019-01-01
err7
errOAAI
errWu, Gengkun; Fan, Jiancong; Zhang, Fuxin; Lu, Faming
errShare
errSave
A Semantic User Distance Metric Using GPS Trajectory Data
err2019-01-01
err4
errOAAI
errLin, Zedong; Zeng, Qingtian; Duan, Hua; Liu, Cong; Lu, Faming
errShare
errSave
errShare
errSave
E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations
err2015-01-01
err78
PREAI
errLiu, Cong; Zeng, Qingtian; Duan, Hua; Zhou, MengChu; Lu, Faming; Cheng, Jiujun
errShare
errSave
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes
err2014-02-01
err20
PREAI
errLu, Faming; Zeng, Qingtian; Bao, Yunxia; Duan, Hua
errShare
errSave