2 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
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…