70 citations · 110 across the 8 of their papers we have counts for
9 papers
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…
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…
Enhancing workflow-nets with data for trace completion
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini +1
The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support mo…
Learning Hybrid Process Models From Events: Process Discovery Without Faking Confidence
Wil M. P. van der Aalst, Riccardo De Masellis, Chiara Di Francescomarino +1
Process discovery techniques return process models that are either formal (precisely describing the possible behaviors) or informal (merely a "picture" not allowing for any form of…
Abducing Compliance of Incomplete Event Logs
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino +4
The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the ass…
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement…
LTLf and LDLf Monitoring: A Technical Report
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso +2
Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and…
Description Logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +3
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a…
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
Dmitry Solomakhin, Marco Montali, Sergio Tessaris +1
Artifact-centric business processes have recently emerged as an approach in which processes are centred around the evolution of business entities, called artifacts, giving equal im…