Publications

2025

• Nudging educators toward digital innovation in higher education
  Berger, R., Grané, M., Marconi, A., Fornari, F., Byxx, N., Verbraeken, V., Cole, L., et al.
  In EDULEARN25 Proceedings (pp. 4927–4935)
• Programming IoT systems: A focused conceptual framework and survey of approaches
  Casadei, R., Fornari, F., Mariani, S., & Savaglio, C.
  Internet of Things, 101548
  Internet of Things Software Engineering
• Digital twins of business processes: A research manifesto
  Fornari, F., Compagnucci, I., De Donato, M. C., Bertrand, Y., Beyel, H. H., et al.
  Internet of Things, 30, 101477
  Digital Twin Business Process Internet of Things
• IoT and digital twin for monitoring and simulating living spaces scenarios
  Callisto De Donato, M., Corradini, F., Fornari, F., Re, B.
  In Networking Data Integrity and Manipulation in Cyber-Physical Systems
  Digital Twin Internet of Things
• Navigating the lobbying landscape: Insights from opinion dynamics models
  Giachini, D., Ciambezi, L., Del Rosso, V., Fornari, F., Pansanella, V., Popoyan, L., et al.
  arXiv preprint arXiv:2507.13767

2024

• Design and development of an IoT system for audiovisual self-administered tests
  De Donato, M. C., Corradini, F., Fabbrizi, F., Fornari, F., & Re, B.
  Software Engineering Internet of Things
• A study on the usage of the BPMN notation for designing process collaboration, choreography, and conversation models
  Compagnucci, I., Corradini, F., Fornari, F., & Re, B.
  Business & Information Systems Engineering, 66(1), 43–66
  Business Process
• A BPMN-based approach for IoT systems engineering
  Corradini, F., Fornari, F., Pettinari, S., Re, B., Rossi, L., & Tiezzi, F.
  In Fluidware: Novel Approaches for Large-Scale IoT Systems (pp. 85–105)
  Business Process Software Engineering Internet of Things
• Fluidware meets digital twins
  Casadei, R., Fornari, F., Mariani, S., & Savaglio, C.
  In Fluidware: Novel Approaches for Large-Scale IoT Systems (pp. 137–154)
  Digital Twin Software Engineering Internet of Things
• Programming approaches for large-scale IoT system development: State of the art
  Casadei, R., Fornari, F., Mariani, S., & Savaglio, C.
  In Fluidware: Novel Approaches for Large-Scale IoT Systems (pp. 21–45)
  Software Engineering Internet of Things
• Reproducibility report for the paper: Simulating data flows of very large scale intelligent transportation systems
  Fornari, F.
  In Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Simulation
• From IoT event logs to human routines via community detection algorithms
  Callisto De Donato, M., Fornari, F., & Armas-Cervantes, A.
  In International Conference on Business Process Management (pp. 113–124)
  Business Process Internet of Things
• FloBP: A model-driven approach for developing and executing IoT-enhanced business processes
  Fedeli, A., Fornari, F., Polini, A., Re, B., Torres, V., & Valderas, P.
  Software and Systems Modeling, 23(5), 1217–1246
  Business Process Software Engineering Internet of Things
• SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake
  De Donato, M. C., Corradini, F., Fornari, F., & Re, B.
  Internet of Things, 27, 101273
  Software Engineering Internet of Things
• Formal approaches for modeling and analysis of business process collaborations
  Corradini, F., Fornari, F., Re, B., Rossi, L., Polini, A., Tiezzi, F., & Vandin, A.
  In International Symposium on Leveraging Applications of Formal Methods (pp. 50–61)
  Business Process
• On the importance of CI/CD practices for database applications
  Fluri, J., Fornari, F., & Pustulka, E.
  Journal of Software: Evolution and Process, 36(12), e2720
  Software Engineering

2023

• BPMN Inspector: A tool for extracting features from BPMN models
  Compagnucci, I., Corradini, F., Fornari, F., & Re, B.
  In BPM Demos/Resources Forum (pp. 122–126)
  Business Process Software Engineering
• FloWare: A model-driven approach fostering reuse and customisation in IoT applications modelling and development
  Corradini, F., Fedeli, A., Fornari, F., Polini, A., & Re, B.
  Software and Systems Modeling, 22(1), 131–158
  Software Engineering Internet of Things
• Measuring the benefits of CI/CD practices for database application development
  Fluri, J., Fornari, F., & Pustulka, E.
  In IEEE/ACM International Conference on Software and System Processes
  Software Engineering
• A systematic literature review on IoT-aware business process modeling views, requirements and notations
  Compagnucci, I., Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  Software and Systems Modeling, 22(3), 969–1004
  Business Process Internet of Things
• X-IoT: A model-driven approach to support IoT application portability across IoT platforms
  Corradini, F., Fedeli, A., Fornari, F., Polini, A., Re, B., & Ruschioni, L.
  Computing, 105(9), 1981–2005
  Software Engineering Internet of Things
• Enabling 3D simulation in ThingsBoard: A first step towards a digital twin platform
  Callisto De Donato, M., Corradini, F., Fornari, F., Re, B., & Romagnoli, M.
  In International Conference on Enterprise Design, Operations, and Computing
  Digital Twin Internet of Things
• Design and development of a digital twin prototype for the SAFE project
  Callisto De Donato, M., Corradini, F., Fornari, F., Re, B., & Romagnoli, M.
  In International Conference on Enterprise Design, Operations, and Computing
  Digital Twin Internet of Things

2022

• BPMN-Redrawer: From images to BPMN models
  Antinori, A., Coltrinari, R., Corradini, F., Fornari, F., Re, B., & Scarpetta, M.
  In BPM PhD/Demos (pp. 107–111)
  Business Process Software Engineering
• X-IoT: A model-driven approach for cross-platform IoT applications development
  Corradini, F., Fedeli, A., Fornari, F., Polini, A., & Re, B.
  In Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing (pp. 1448–1451)
  Software Engineering Internet of Things
• DTMN: A modelling notation for digital twins
  Corradini, F., Fedeli, A., Fornari, F., Polini, A., & Re, B.
  In International Conference on Enterprise Design, Operations, and Computing (pp. 63–78)
  Digital Twin Software Engineering

2021

• RePROSitory: A repository platform for sharing business process models and logs
  Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  In ITBPM@BPM (pp. 13–18)
  Business Process Software Engineering
• FloWare: An approach for IoT support and application development
  Corradini, F., Fedeli, A., Fornari, F., Polini, A., & Re, B.
  In International Conference on Business Process Modeling, Development and Support
  Software Engineering Internet of Things
• Trends on the usage of BPMN 2.0 from publicly available repositories
  Compagnucci, I., Corradini, F., Fornari, F., & Re, B.
  In International Conference on Business Informatics Research (pp. 84–99)
  Business Process
• A formal approach for the analysis of BPMN collaboration models
  Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., & Vandin, A.
  Journal of Systems and Software, 180, 111007
  Business Process

2020

• Modelling notations for IoT-aware business processes: A systematic literature review
  Compagnucci, I., Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  In BPM 2020 Workshops
  Business Process Internet of Things

2019

• RePROSitory: A repository platform for sharing business process models
  Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  In BPM PhD/Demos (pp. 149–153)
  Business Process Software Engineering
• Case studies for a new IoT programming paradigm: Fluidware
  Mariani, S., Casadei, R., Fornari, F., Fortino, G., Pianini, D., Re, B., Russo, W., et al.
  CEUR Workshop Proceedings, 2502, 82–96
  Software Engineering Internet of Things

2018

• A guidelines framework for understandable BPMN models
  Corradini, F., Ferrari, A., Fornari, F., Gnesi, S., Polini, A., Re, B., & Spagnolo, G. O.
  Data & Knowledge Engineering, 113, 129–154
  Business Process
• Checking business process correctness in Apromore
  Fornari, F., La Rosa, M., Polini, A., Re, B., & Tiezzi, F.
  In CAiSE Forum 2018
  Business Process Software Engineering
• Quality assurance for business process models: A focus on understandability and correctness
  Fornari, F.
  Doctoral dissertation, Università degli Studi di Camerino
  Business Process
• A formal approach to modeling and verification of business process collaborations
  Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  Science of Computer Programming, 166, 35–70
  Business Process

2017

• On avoiding erroneous synchronization in BPMN processes
  Corradini, F., Fornari, F., Muzi, C., Polini, A., Re, B., & Tiezzi, F.
  In BIS 2017 (pp. 106–119)
  Business Process
• Checking business process modeling guidelines in Apromore
  Fornari, F., Gnesi, S., La Rosa, M., Polini, A., Re, B., & Spagnolo, G. O.
  In BPM Demos 2017
  Business Process Software Engineering
• BProVe: Tool support for business process verification
  Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  In ASE 2017 Tool Demonstrations
  Business Process Software Engineering
• BProVe: A formal verification framework for business process models
  Corradini, F., Fornari, F., Polini, A., Re, B., & Tiezzi, F.
  In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
  Business Process Software Engineering