13 citations · 37 across the 8 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 1 cited
Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software
Zhijun Ding, Shuo Li, Cheng Chen +1
When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose…
cs.SE2021★ 13 cited
Variable Petri Nets for Mobility
Zhijun Ding, Ru Yang, Puwen Cui +2
Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their character…