Riccardo De Masellis, Ph.D.

2023

• Discovering Hybrid Process Models With Bounds On Time and Complexity.
  W. M.P. van der Aalst, R. De Masellis, C. Di Francescomarinoc, C. Ghidini and H. Kouranid. Information Systems, Elsevier.


• Black Ostrich: Web Application Scanning with String Solvers.
  B. Eriksson, R. De Masellis, P. Rümmer, A. Sabelfeld and A. Stjerna. ACM Conference on Computer and Communications Security (CCS).

2022

• Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces (downloadable preliminary arXiv version).
  G. De Giacomo, R. De Masellis, F. M. Maggi and M. Montali. ACM Transactions on Software Engineering and Methodology (TOSEM).


• Solving reachability problems on data-aware workflows (downloadable preliminary arXiv version).
  R. De Masellis, C. Di Francescomarino, C. Ghidini and S. Tessaris. J. of Expert Systems with Applications.

2020

• Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems.
  R. De Masellis and V. Goranko. JAAMAS.

2019

• Verification of data-aware workflows via reachability: formalisation and experiments.
  R. De Masellis, C. Di Francescomarino, C. Ghidini and S. Tessaris. ArXiv (Preliminary version of 2021's J. of Exp. Sys. with Appl.).


• Dynamic multi-agent systems: conceptual framework, automata-based modelling and verification.
  R. Condurache, R. De Masellis and V. Goranko. In proc. of PRIMA 2019.

2018

• Generalising the dining philosophers problem: competitive dynamic resource allocation in multi-agent systems.
  R. De Masellis, V. Goranko, S. Gruner and N. Timm. Proc. of EUMAS 2018.


• Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning.
  F. Chesani, P. Mello, R. De Masellis, C. Di Francescomarino, C. Ghidini, M. Montali, and S. Tessaris. Fundam. Inform., 161(1-2):75-111, 2018.

2017

• Enhancing Workflow-Nets with Data for Trace Completion.
  R. De Masellis, C. Di Francescomarino, C. Ghidini and S. Tessaris. Proc. of the 15th BPM conf. workshops, 2017.


• Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules
  R. De Masellis, C. Di Francescomarino, C. Ghidini and A. Lapõnin. Proc. of the 21st EDOC, 2017.


• Learning hybrid process models from events: Process discovery without faking confidence
  W. M. van der Aalst, R. De Masellis, C. Di Francescomarino, and C. Ghidini. Proc. of the 15th BPM conf., 2017.


• Add data into business process verification: bridging the gap between theory and practice
  R. De Masellis, C. Di Francescomarino, C. Ghidini, M. Montali, and S. Tessaris. Proc. of the 31st AAAI conf. on Artif. Intell., 2017.

2016

• Declarative process models: Different ways to be hierarchical
  R. De Masellis, C. Di Francescomarino, C. Ghidini, and F. M. Maggi. In Proc. of 14th ICSOC, pages 104-119, 2016.


• Abducing workflow traces: A general framework to manage incompleteness in business processes (short)
  F. Chesani, R. De Masellis, C. Di Francescomarino, C. Ghidini, P. Mello, M. Montali, and S. Tessaris. In Proc. of 22nd ECAI, pages 1734-1735, 2016.

2015

• Semantic enrichment of GSM-based artifact-centric models
  R. De Masellis, D. Lembo, M. Montali, and D. Solomakhin. J. of Data Semantics, 4(1):3-27, 2015.


• A declarative framework for specifying and enforcing purpose-aware policies
  R. De Masellis, C. Ghidini, and S. Ranise. In Proc. of 11th STM Intl. Workshop, pages 55-71, 2015.

2014

• Monitoring data-aware business constraints with finite state automata
  R. De Masellis, F. M. Maggi, and M. Montali. In Proc. of ICSSP, pages 134-143, 2014.


• Reasoning on LTL on finite traces: Insensitivity to infiniteness G. De Giacomo, R. De Masellis, and M. Montali. In Proc. of the 28th AAAI conf. on Artif. Intell., pages 1027-1033, 2014.


• Monitoring business metaconstraints based on LTL and LDL for finite traces
  G. De Giacomo, R. De Masellis, M. Grasso, F. M. Maggi, and M. Montali.In Proc. of 12th Intl. Conf. on BPM, pages 1-17, 2014.

2013

• Verification of artifact-centric systems: Decidability and modeling issues
  D. Solomakhin, M. Montali, S. Tessaris, and R. De Masellis. In Proc. of 11th ICSOC, pages 252-266, 2013.


• Runtime enforcement of first-order LTL properties on data-aware business processes
  R. De Masellis and J. Su. In Proc. of 11th ICSOC, pages 54-68, 2013.


• Description logic knowledge and action bases
  B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, and P. Felli. J. of Artificial Intelligence Research, 46:651-686, 2013.

2012

• Verification of conjunctive artifact-centric services
  G. De Giacomo, R. De Masellis, and R. Rosati. Int. J. of Cooperative Information Systems (IJCIS), Vol. 21, No. 2 (2012) 111-139


• Verification of description logic knowledge and action bases
  B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli, and M. Montali. In Proc. of 20th ECAI, pages 103-108, 2012.

2011

• Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
  R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. F. Heath III, S. Hobson, M. H. Linehan, S. Maradugu, A. Nigam, P. N. Sukaviriya, and R. Vaculín. In Proc. of the 5th ACM - DEBS, pages 51-62, 2011.


• Foundations of relational artifacts verification
  B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, and P. Felli. In Proc. of 9th Intl. Conf. on BPM, pages 379-395, 2011.


• Verification of conjunctive-query based semantic artifacts
  B. Bagheri Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis. In Proc. of the 24th Intl. Workshop on DL, 2011.

2010

• Conjunctive artifact-centric services
  P. Cangialosi, G. De Giacomo, R. De Masellis, and R. Rosati.In Proc. of 8th ICSOC, pages 318-333, 2010.

2009

• Composition of partially observable services exporting their behaviour
  G. De Giacomo, R. De Masellis, and F. Patrizi.In Proc. of the 19th ICAPS, 2009.