145 citations · 360 across the 54 of their papers we have counts for
5 papers · 1 filter
Combined Covers and Beth Definability (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of…
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We propose DAB -- a data-aware extension of BPMN where the process operates over case and persistent data (partitioned into a read-only database called catalog and a read-write dat…
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-…
From DB-nets to Coloured Petri Nets with Priorities (Extended Version)
Marco Montali, Andrey Rivkin
The recently introduced formalism of DB-nets has brought in a new conceptual way of modelling complex dynamic systems that equally account for the process and data dimensions, cons…
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making…