FORNARI, Fabrizio

FORNARI, Fabrizio  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.01 secondi).
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