Fabrizio Fornari

According to our database, Fabrizio Fornari authored at least 32 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Digital Twins of Business Processes: A Research Manifesto.

Fabrizio Fornari, Ivan Compagnucci, Massimo Callisto De Donato, Yannis Bertrand, Harry H. Beyel, Emilio Carrión, Marco Franceschetti, Wolfgang Groher, Joscha Grüger, Emre Kiliç, Agnes Koschmider, Francesco Leotta, Chiao-Yun Li, Giovanni Lugaresi, Lukas Malburg, Juergen Mangler, Massimo Mecella, Oscar Pastor, Uwe V. Riss, Ronny Seiger, Estefanía Serral, Victoria Torres, Pedro Valderas

Internet Things, 2025

2024

On the importance of CI/CD practices for database applications.

Jasmin Fluri, Fabrizio Fornari, Ela Pustulka

J. Softw. Evol. Process., December, 2024

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes.

Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Victoria Torres, Pedro Valderas

Softw. Syst. Model., October, 2024

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models.

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re

Bus. Inf. Syst. Eng., February, 2024

SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake.

Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re

Internet Things, 2024

Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems.

Fabrizio Fornari

Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2024

Formal Approaches for Modeling and Analysis of Business Process Collaborations.

Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Design and development of an IoT system for audiovisual self-administered tests.

Massimo Callisto De Donato, Flavio Corradini, Flavio Fabbrizi, Fabrizio Fornari, Barbara Re

Proceedings of the Joint Proceedings of the BIR 2024 Workshops and Doctoral Consortium co-located with 23rd International Conference on Perspectives in Business Informatics Research (BIR 2024), 2024

2023

X-IoT: a model-driven approach to support IoT application portability across IoT platforms.

Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Luca Ruschioni

Computing, September, 2023

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development.

Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re

Softw. Syst. Model., February, 2023

A systematic literature review on IoT-aware business process modeling views, requirements and notations.

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi

Softw. Syst. Model., 2023

Measuring the Benefits of CI/CD Practices for Database Application Development.

Jasmin Fluri, Fabrizio Fornari, Ela Pustulka

Proceedings of the IEEE/ACM International Conference on Software and System Processes, 2023

Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform.

Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

Design and Development of a Digital Twin Prototype for the SAFE Project.

Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

BPMN Inspector: A Tool for Extracting Features from BPMN Models.

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re

Proceedings of the Best Dissertation Award, 2023

2022

X-IoT: a model-driven approach for cross-platform IoT applications development.

Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

DTMN a Modelling Notation for Digital Twins.

Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2022 Workshops, 2022

BPMN-Redrawer: From Images to BPMN Models.

Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta

Proceedings of the Best Dissertation Award, 2022

2021

A formal approach for the analysis of BPMN collaboration models.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

J. Syst. Softw., 2021

FloWare: An Approach for IoT Support and Application Development.

Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories.

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re

Proceedings of the Perspectives in Business Informatics Research, 2021

2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Business Process Management Workshops, 2020

2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Dissertation Award, 2019

Case Studies for a New IoT Programming Paradigm: Fluidware.

Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli

Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018

A formal approach to modeling and verification of business process collaborations.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi

Sci. Comput. Program., 2018

A Guidelines framework for understandable BPMN models.

Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo

Data Knowl. Eng., 2018

Checking Business Process Correctness in Apromore.

Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Information Systems in the Big Data Era, 2018

2017

BProVe: tool support for business process verification.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Checking Business Process Modeling Guidelines in Apromore.

Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

On Avoiding Erroneous Synchronization in BPMN Processes.

Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Business Information Systems - 20th International Conference, 2017