Sfoglia per Autore
A Data Oriented Approach to Derive Public Administration Business Processes
2015-01-01 Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
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
On Avoiding Erroneous Synchronization in BPMN Processes
2017-01-01 Corradini, Flavio; Fornari, Fabrizio; Muzi, Chiara; 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
A Formal Approach to Modelling and Verification of Business Process Collaborations
2018-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Checking Business Process Correctness in Apromore
2018-01-01 Fornari, Fabrizio; La Rosa, Marcello; 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
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
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
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.
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories
2021-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B.
FloWare: An Approach for IoT Support and Application Development
2021-01-01 Corradini, Flavio; Fedeli, Arianna; 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.
RePROSitory: A Repository platform for sharing business PROcess models and logS
2021-01-01 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.
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development
2022-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
Measuring the Benefits of CI/CD Practices for Database Application Development
2023-01-01 Fluri, Jasmin; Fornari, Fabrizio; Pustulka, Ela
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
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories | 1-gen-2021 | Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. | Contributo in atto di convegno su volume | |
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 | |
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 | |
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 | |
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 | |
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development | 1-gen-2022 | 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 | 1-gen-2023 | Fluri, Jasmin; Fornari, Fabrizio; Pustulka, Ela | Contributo in atto di convegno su volume | |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile