FORNARI, FABRIZIO
FORNARI, FABRIZIO
Scuola di Scienze e Tecnologie
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 systematic literature review on IoT-aware business process modeling views, requirements and notations
2022-01-01 Compagnucci, I; Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F
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
DTMN a Modelling Notation for Digital Twins
2023-01-01 Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B.
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
2022-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
Measuring the Benefits of CI/CD Practices for Database Application Development
In corso di stampa Fluri, Jasmin; Fornari, Fabrizio; Pustulka, Ela
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review
2020-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F.
On Avoiding Erroneous Synchronization in BPMN Processes
2017-01-01 Corradini, Flavio; Fornari, Fabrizio; Muzi, Chiara; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Quality Assurance for Business Process Models: a Focus on Understandability and Correctness
2018-06-19 Fornari, Fabrizio
RePROSitory: a Repository Platform for Sharing Business PROcess modelS
2019-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
RePROSitory: A Repository platform for sharing business PROcess models and logS
2021-01-01 Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 systematic literature review on IoT-aware business process modeling views, requirements and notations | 1-gen-2022 | Compagnucci, I; Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F | Articolo | |
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 | |
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 | |
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development | 1-gen-2022 | 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 | |
Measuring the Benefits of CI/CD Practices for Database Application Development | In corso di stampa | Fluri, Jasmin; Fornari, Fabrizio; Pustulka, Ela | Contributo in atto di convegno su volume | |
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review | 1-gen-2020 | Compagnucci, I.; Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
On Avoiding Erroneous Synchronization in BPMN Processes | 1-gen-2017 | Corradini, Flavio; Fornari, Fabrizio; Muzi, Chiara; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
Quality Assurance for Business Process Models: a Focus on Understandability and Correctness | 19-giu-2018 | Fornari, Fabrizio | Doctoral Thesis | |
RePROSitory: a Repository Platform for Sharing Business PROcess modelS | 1-gen-2019 | Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
RePROSitory: A Repository platform for sharing business PROcess models and logS | 1-gen-2021 | Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume |