Riccardo De Masellis

According to our database, Riccardo De Masellis authored at least 32 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., June, 2023

Black Ostrich: Web Application Scanning with String Solvers.

Benjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rümmer, Andrei Sabelfeld

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

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

Solving reachability problems on data-aware workflows.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris

Expert Syst. Appl., 2022

2020

Logic-based specification and verification of homogeneous dynamic multi-agent systems.

Riccardo De Masellis, Valentin Goranko

Auton. Agents Multi Agent Syst., 2020

2019

Verification of data-aware workflows via reachability: formalisation and experiments.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris

CoRR, 2019

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.

Rodica Condurache, Riccardo De Masellis, Valentin Goranko

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

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

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.

Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

2017

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Arne Laponin, Fabrizio Maria Maggi

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Enhancing Workflow-Nets with Data for Trace Completion.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris

Proceedings of the Business Process Management Workshops, 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

Proceedings of the Business Process Management - 15th International Conference, 2017

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Declarative Process Models: Different Ways to Be Hierarchical.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi

Proceedings of the Service-Oriented Computing - 14th International Conference, 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

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Abducing Compliance of Incomplete Event Logs.

Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Semantic Enrichment of GSM-Based Artifact-Centric Models.

Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin

J. Data Semant., 2015

A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies.

Riccardo De Masellis, Chiara Ghidini, Silvio Ranise

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

2014

LTLf and LDLf Monitoring: A Technical Report.

Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali

CoRR, 2014

Monitoring data-aware business constraints with finite state automata.

Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali

Proceedings of the International Conference on Software and Systems Process 2014, 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

Proceedings of the Business Process Management - 12th International Conference, 2014

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.

Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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

Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.

Riccardo De Masellis, Jianwen Su

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

Verification of Conjunctive Artifact-Centric Services.

Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati

Int. J. Cooperative Inf. Syst., 2012

Verification of Description Logic Knowledge and Action Bases.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali

Proceedings of the ECAI 2012, 2012

2011

Verification of Conjunctive-Query Based Semantic Artifacts.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events.

Richard Hull, 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

Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Foundations of Relational Artifacts Verification.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Proceedings of the Business Process Management - 9th International Conference, 2011

2010

Conjunctive Artifact-Centric Services.

Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Composition of Partially Observable Services Exporting their Behaviour.

Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009