Riccardo De Masellis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
2010–2023
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CCS | Black Ostrich: Web Application Scanning with String Solvers. | Benjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rmmer, Andrei Sabelfeld |
| 2019 | PRIMA | Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. | Rodica Condurache, Riccardo De Masellis, Valentin Goranko |
| 2018 | EUMAS | Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. | Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm |
| 2017 | AAAI | 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 |
| 2017 | BPM | 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 |
| 2017 | BPM | Enhancing Workflow-Nets with Data for Trace Completion. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris |
| 2017 | EDOC | Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Arne Laponin, Fabrizio Maria Maggi |
| 2016 | ECAI | 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 |
| 2016 | ICSOC | Declarative Process Models: Different Ways to Be Hierarchical. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi |
| 2014 | AAAI | Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali |
| 2014 | BPM | Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali |
| 2013 | ICSOC | Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes. | Riccardo De Masellis, Jianwen Su |
| 2013 | ICSOC | Verification of Artifact-Centric Systems: Decidability and Modeling Issues. | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
| 2012 | ECAI | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2011 | BPM | Foundations of Relational Artifacts Verification. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli |
| 2010 | ICSOC | Conjunctive Artifact-Centric Services. | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati |