145 citations · 360 across the 54 of their papers we have counts for
3 papers · 2 filters
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such ar…
Quantifier Elimination for Database Driven Verification
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notio…
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
Massimiliano de Leoni, Paolo Felli, Marco Montali
The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated model…