Riccardo De Masellis

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