FORNARI, Fabrizio
FORNARI, Fabrizio
Scuola di Scienze e Tecnologie
A BPMN-Based Approach for IoT Systems Engineering
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
A Data Oriented Approach to Derive Public Administration Business Processes
2015-01-01 Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
A formal approach for the analysis of BPMN collaboration models
2021-01-01 Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F; Vandin, A
A Formal Approach to Modelling and Verification of Business Process Collaborations
2018-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A Guidelines Framework for Understandable BPMN Models
2018-01-01 Corradini, Flavio; Ferrari, Alessio; Fornari, Fabrizio; Gnesi, Stefania; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models
2024-01-01 Compagnucci, I; Corradini, F; Fornari, F; Re, B
A systematic literature review on IoT-aware business process modeling views, requirements and notations
2023-01-01 Compagnucci, I; Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F
BPMN Inspector: A Tool for Extracting Features from BPMN Models
2023-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B.
BPMN-Redrawer: From Images to BPMN Models
2022-01-01 Antinori, A.; Coltrinari, R.; Corradini, F.; Fornari, F.; Re, B.; Scarpetta, M.
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
Case studies for a new IoT programming paradigm: Fluidware
2019-01-01 Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco
Checking Business Process Correctness in Apromore
2018-01-01 Fornari, Fabrizio; La Rosa, Marcello; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Checking business process modeling guidelines in apromore
2017-01-01 Fornari, Fabrizio; Gnesi, Stefania; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo
Design and Development of a Digital Twin Prototype for the SAFE Project
2024-01-01 Callisto De Donato, M.; Corradini, F.; Fornari, F.; Re, B.; Romagnoli, M.
DTMN a Modelling Notation for Digital Twins
2023-01-01 Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B.
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform
2024-01-01 Callisto De Donato, Massimo; Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Romagnoli, Matteo
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
2024-01-01 Fedeli, A.; Fornari, F.; Polini, A.; Re, B.; Torres, V.; Valderas, P.
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
2023-01-01 Corradini, F; Fedeli, A; Fornari, F; Polini, A; Re, B
FloWare: An Approach for IoT Support and Application Development
2021-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| A BPMN-Based Approach for IoT Systems Engineering | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A Data Oriented Approach to Derive Public Administration Business Processes | 1-gen-2015 | Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | Contributo in atto di convegno su volume | |
| A formal approach for the analysis of BPMN collaboration models | 1-gen-2021 | Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F; Vandin, A | Articolo | |
| A Formal Approach to Modelling and Verification of Business Process Collaborations | 1-gen-2018 | Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
| A Guidelines Framework for Understandable BPMN Models | 1-gen-2018 | Corradini, Flavio; Ferrari, Alessio; Fornari, Fabrizio; Gnesi, Stefania; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio | Articolo | |
| A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models | 1-gen-2024 | Compagnucci, I; Corradini, F; Fornari, F; Re, B | Articolo | |
| A systematic literature review on IoT-aware business process modeling views, requirements and notations | 1-gen-2023 | Compagnucci, I; Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F | Articolo | |
| BPMN Inspector: A Tool for Extracting Features from BPMN Models | 1-gen-2023 | Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. | Contributo in atto di convegno su volume | |
| BPMN-Redrawer: From Images to BPMN Models | 1-gen-2022 | Antinori, A.; Coltrinari, R.; Corradini, F.; Fornari, F.; Re, B.; Scarpetta, M. | Contributo in atto di convegno su volume | |
| BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
| BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
| Case studies for a new IoT programming paradigm: Fluidware | 1-gen-2019 | Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco | Contributo in atto di convegno su volume | |
| Checking Business Process Correctness in Apromore | 1-gen-2018 | Fornari, Fabrizio; La Rosa, Marcello; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
| Checking business process modeling guidelines in apromore | 1-gen-2017 | Fornari, Fabrizio; Gnesi, Stefania; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo | Contributo in atto di convegno su volume | |
| Design and Development of a Digital Twin Prototype for the SAFE Project | 1-gen-2024 | Callisto De Donato, M.; Corradini, F.; Fornari, F.; Re, B.; Romagnoli, M. | Contributo in atto di convegno su volume | |
| DTMN a Modelling Notation for Digital Twins | 1-gen-2023 | Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B. | Contributo in atto di convegno su volume | |
| Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform | 1-gen-2024 | Callisto De Donato, Massimo; Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Romagnoli, Matteo | Contributo in atto di convegno su volume | |
| FloBP: a model-driven approach for developing and executing IoT-enhanced business processes | 1-gen-2024 | Fedeli, A.; Fornari, F.; Polini, A.; Re, B.; Torres, V.; Valderas, P. | Articolo | |
| FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development | 1-gen-2023 | Corradini, F; Fedeli, A; Fornari, F; Polini, A; Re, B | Articolo | |
| FloWare: An Approach for IoT Support and Application Development | 1-gen-2021 | Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | Contributo in atto di convegno su volume |