13 citations · 26 across the 3 of their papers we have counts for
3 papers
cs.LO2023
On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
Shuo Li, Liao Zheng, Ru Yang +1
Context: Linear temporal logic (LTL) model checking faces a significant challenge known as the state-explosion problem. The on-the-fly method is a solution that constructs and chec…
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…
eess.SY2021★ 13 cited
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Ru Yang, Zhijun Ding, Changjun Jiang +1
Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to anal…