Composition of Partially Observable Services Exporting their Behaviour. - Giuseppe De Giacomo; Riccardo De Masellis; Fabio Patrizi (ICAPS, 2009)

Conjunctive Artifact-Centric Services. - Piero Cangialosi; Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (ICSOC, 2010)

Foundations of Relational Artifacts Verification. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (BPM, 2011)

Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. - Richard Hull 001; Elio Damaggio; Riccardo De Masellis; Fabiana Fournier; Manmohan Gupta; Fenno F. Terry Heath III; Stacy Hobson; Mark H. Linehan; Sridhar Maradugu; Anil Nigam; Piyawadee Noi Sukaviriya; Roman Vaculín (DEBS, 2011)

Verification of Conjunctive-Query Based Semantic Artifacts. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis (Description Logics, 2011)

Verification of Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli; Marco Montali (ECAI, 2012)

Verification of Conjunctive Artifact-Centric Services. - Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (Int. J. Cooperative Inf. Syst., 2012)

Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes. - Riccardo De Masellis; Jianwen Su (ICSOC, 2013)

Verification of Artifact-Centric Systems: Decidability and Modeling Issues. - Dmitry Solomakhin; Marco Montali; Sergio Tessaris; Riccardo De Masellis (ICSOC, 2013)

Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (J. Artif. Intell. Res., 2013)

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Montali (AAAI, 2014)

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (BPM, 2014)

Monitoring data-aware business constraints with finite state automata. - Riccardo De Masellis; Fabrizio Maria Maggi; Marco Montali (ICSSP, 2014)

LTLf and LDLf Monitoring: A Technical Report. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (CoRR, 2014)

A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies. - Riccardo De Masellis; Chiara Ghidini; Silvio Ranise (STM, 2015)

Semantic Enrichment of GSM-Based Artifact-Centric Models. - Riccardo De Masellis; Domenico Lembo; Marco Montali; Dmitry Solomakhin (J. Data Semant., 2015)

Abducing Compliance of Incomplete Event Logs. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (AI*IA, 2016)

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (ECAI, 2016)

Declarative Process Models: Different Ways to Be Hierarchical. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Fabrizio Maria Maggi (ICSOC, 2016)

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (AAAI, 2017)

Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence. - Wil M. P. van der Aalst; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini (BPM, 2017)

Enhancing Workflow-Nets with Data for Trace Completion. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (Business Process Management Workshops, 2017)

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Arne Laponin; Fabrizio Maria Maggi (EDOC, 2017)

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. - Riccardo De Masellis; Valentin Goranko; Stefan Gruner; Nils Timm (EUMAS, 2018)

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. - Federico Chesani; Paola Mello; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (Fundam. Informaticae, 2018)

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. - Rodica Condurache; Riccardo De Masellis; Valentin Goranko (PRIMA, 2019)

Verification of data-aware workflows via reachability: formalisation and experiments. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (CoRR, 2019)

Logic-based specification and verification of homogeneous dynamic multi-agent systems. - Riccardo De Masellis; Valentin Goranko (Auton. Agents Multi Agent Syst., 2020)

Solving reachability problems on data-aware workflows. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris (Expert Syst. Appl., 2022)

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Fabrizio Maria Maggi; Marco Montali (ACM Trans. Softw. Eng. Methodol., 2022)

Black Ostrich: Web Application Scanning with String Solvers. - Benjamin Eriksson; Amanda Stjerna; Riccardo De Masellis; Philipp Rümmer; Andrei Sabelfeld (CCS, 2023)

Discovering hybrid process models with bounds on time and complexity: When to be formal and when not? - Wil M. P. van der Aalst; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Humam Kourani (Inf. Syst., 2023)