Riccardo De Masellis

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 22

Top Topics

Artifact Centric

Resource Allocation

Business Processes

Top Venues

Publications

Wil M. P. van der Aalst, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Humam Kourani
Discovering hybrid process models with bounds on time and complexity: When to be formal and when not? Inf. Syst. 116 (2023)
Benjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rümmer, Andrei Sabelfeld
Black Ostrich: Web Application Scanning with String Solvers. CCS (2023)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Solving reachability problems on data-aware workflows. Expert Syst. Appl. 189 (2022)
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Riccardo De Masellis, Valentin Goranko
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. AAMAS (2021)
Riccardo De Masellis, Valentin Goranko
Logic-based specification and verification of homogeneous dynamic multi-agent systems. Auton. Agents Multi Agent Syst. 34 (2) (2020)
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR (2020)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Verification of data-aware workflows via reachability: formalisation and experiments. CoRR (2019)
Riccardo De Masellis, Valentin Goranko
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. CoRR (2019)
Rodica Condurache, Riccardo De Masellis, Valentin Goranko
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. PRIMA (2019)
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS (2018)
Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Fundam. Informaticae 161 (1-2) (2018)
Wil M. P. van der Aalst, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini
Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence. BPM (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Enhancing workflow-nets with data for trace completion. CoRR (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. AAAI (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Enhancing Workflow-Nets with Data for Trace Completion. Business Process Management Workshops (2017)
Wil M. P. van der Aalst, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini
Learning Hybrid Process Models From Events: Process Discovery Without Faking Confidence. CoRR (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Arne Laponin, Fabrizio Maria Maggi
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules. EDOC (2017)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. CoRR (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. AI*IA (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. ECAI (2016)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi
Declarative Process Models: Different Ways to Be Hierarchical. ICSOC (2016)
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies. STM (2015)
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies. CoRR (2015)
Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
Semantic Enrichment of GSM-Based Artifact-Centric Models. J. Data Semant. 4 (1) (2015)
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
LTLf and LDLf Monitoring: A Technical Report. CoRR (2014)
Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI (2014)
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. BPM (2014)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. CoRR (2014)
Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring data-aware business constraints with finite state automata. ICSSP (2014)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues CoRR (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46 (2013)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. ICSOC (2013)
Riccardo De Masellis, Jianwen Su
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes. ICSOC (2013)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
Verification of Description Logic Knowledge and Action Bases. ECAI (2012)
Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21 (2) (2012)
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
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. DEBS (2011)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Foundations of Relational Artifacts Verification. BPM (2011)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics (2011)
Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
Conjunctive Artifact-Centric Services. ICSOC (2010)
Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi
Composition of Partially Observable Services Exporting their Behaviour. ICAPS (2009)