70 citations · 110 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 7 cited
Solving reachability problems on data-aware workflows
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini +1
Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective…
cs.LO2019
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
Riccardo De Masellis, Valentin Goranko
We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems (HDMAS). Homogeneity m…