FELLI, PAOLO
FELLI, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
On the Flexibility of Declarative Process Specifications
2024 Corea C.; Felli P.; Montali M.; Patrizi F.
A Semantic Approach to Decidability in Epistemic Planning
2023 Burigana A.; Felli P.; Montali M.; Troquard N.
A Semantic Approach to Decidability in Epistemic Planning
2023 Burigana A.; Felli P.; Montali M.; Troquard N.
Data-aware conformance checking with SMT
2023 Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S.
Monitoring Arithmetic Temporal Properties on Finite Traces
2023 Felli P.; Montali M.; Patrizi F.; Winkler S.
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
2023 Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S.
Repairing Soundness Properties in Data-Aware Processes
2023 Felli P.; Montali M.; Winkler S.
Conformance Checking with Uncertainty via SMT
2022 Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic
2022 Paolo Felli, Marco Montali, Sarah Winkler
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
2022 Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
2022 Paolo Felli, Marco Montali, Sarah Winkler
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation
2022 Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
2022 Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina
Soundness of data-aware processes with arithmetic conditions
2022 Paolo Felli, Marco Montali, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
2021 Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
2021 Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
Integrating BPMN and DMN: Modeling and Analysis
2021 Massimiliano de Leoni, Paolo Felli, Marco Montali
SMT-based Safety Checking of Parameterized Multi-Agent Systems
2021 Felli P.; Gianola A.; Montali M.
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
2021 Felli Paolo, de Leoni Massimiliano, Montali Marco
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems
2020 Paolo Felli, Alessandro Gianola, Marco Montali
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| On the Flexibility of Declarative Process Specifications | Corea C.; Felli P.; Montali M.; Patrizi F. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Semantic Approach to Decidability in Epistemic Planning | Burigana A.; Felli P.; Montali M.; Troquard N. | 2023-01-01 | - | IOS Press BV | 4.01 Contributo in Atti di convegno | FAIA-372-FAIA230286.pdf |
| A Semantic Approach to Decidability in Epistemic Planning | Burigana A.; Felli P.; Montali M.; Troquard N. | 2023-01-01 | - | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) | 4.02 Riassunto (Abstract) | - |
| Data-aware conformance checking with SMT | Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S. | 2023-01-01 | INFORMATION SYSTEMS | - | 1.01 Articolo in rivista | is.pdf; 1-s2.0-S0306437923000662-main.pdf |
| Monitoring Arithmetic Temporal Properties on Finite Traces | Felli P.; Montali M.; Patrizi F.; Winkler S. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | 25781-Article Text-29844-1-2-20230626-1.pdf |
| Multi-perspective conformance checking of uncertain process traces: An SMT-based approach | Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S. | 2023-01-01 | ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | 1-s2.0-S0952197623010795-main.pdf |
| Repairing Soundness Properties in Data-Aware Processes | Felli P.; Montali M.; Winkler S. | 2023-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Conformance Checking with Uncertainty via SMT | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic | Paolo Felli, Marco Montali, Sarah Winkler | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | 978-3-031-10769-6_4.pdf |
| Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief | Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz ...Sonenberg | 2022-01-01 | ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | B2.pdf |
| Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic | Paolo Felli, Marco Montali, Sarah Winkler | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | 20220628.pdf |
| Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation | Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña | 2022-01-01 | ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | A2.pdf |
| Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) | Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
| Soundness of data-aware processes with arithmetic conditions | Paolo Felli, Marco Montali, Sarah Winkler | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli | 2021-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Integrating BPMN and DMN: Modeling and Analysis | Massimiliano de Leoni, Paolo Felli, Marco Montali | 2021-01-01 | JOURNAL ON DATA SEMANTICS | - | 1.01 Articolo in rivista | s13740-021-00132-z.pdf |
| SMT-based Safety Checking of Parameterized Multi-Agent Systems | Felli P.; Gianola A.; Montali M. | 2021-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions | Felli Paolo, de Leoni Massimiliano, Montali Marco | 2021-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems | Paolo Felli, Alessandro Gianola, Marco Montali | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |