On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 2017)

Checking Business Process Modeling Guidelines in Apromore. - Fabrizio Fornari 001; Stefania Gnesi; Marcello La Rosa; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (BPM (Demos), 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

Checking Business Process Correctness in Apromore. - Fabrizio Fornari 001; Marcello La Rosa; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (CAiSE Forum, 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

A formal approach to modeling and verification of business process collaborations. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Sci. Comput. Program., 2018)

Case Studies for a New IoT Programming Paradigm: Fluidware. - Stefano Mariani 001; Roberto Casadei; Fabrizio Fornari 001; Giancarlo Fortino; Danilo Pianini; Barbara Re 001; Wilma Russo; Claudio Savaglio; Mirko Viroli; Franco Zambonelli (AI&IoT@AI*IA, 2019)

RePROSitory: a Repository Platform for Sharing Business PROcess modelS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2019)

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Business Process Management Workshops, 2020)

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BIR, 2021)

RePROSitory: a Repository platform for sharing business PROcess models and logS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

FloWare: An Approach for IoT Support and Application Development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (BPMDS/EMMSAD@CAiSE, 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

BPMN-Redrawer: From Images to BPMN Models. - Alessandro Antinori; Riccardo Coltrinari; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Marco Scarpetta (BPM (PhD/Demos), 2022)

DTMN a Modelling Notation for Digital Twins. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (EDOC Workshops, 2022)

X-IoT: a model-driven approach for cross-platform IoT applications development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (SAC, 2022)

BPMN Inspector: A Tool for Extracting Features from BPMN Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BPM (Demos / Resources Forum), 2023)

Design and Development of a Digital Twin Prototype for the SAFE Project. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Measuring the Benefits of CI/CD Practices for Database Application Development. - Jasmin Fluri; Fabrizio Fornari 001; Ela Pustulka (ICSSP, 2023)

A systematic literature review on IoT-aware business process modeling views, requirements and notations. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2023)

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (Softw. Syst. Model., 2023)

X-IoT: a model-driven approach to support IoT application portability across IoT platforms. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Luca Ruschioni (Computing, 2023)

Design and development of an IoT system for audiovisual self-administered tests. - Massimo Callisto De Donato; Flavio Corradini; Flavio Fabbrizi; Fabrizio Fornari 001; Barbara Re 001 (BIR Workshops, 2024)

From IoT Event Logs to Human Routines via Community Detection Algorithms. - Massimo Callisto De Donato; Fabrizio Fornari 001; Abel Armas-Cervantes (Business Process Management Workshops, 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems. - Fabrizio Fornari 001 (SIGSIM-PADS, 2024)

SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Internet Things, 2024)

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Bus. Inf. Syst. Eng., 2024)

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. - Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Victoria Torres; Pedro Valderas (Softw. Syst. Model., 2024)

On the importance of CI/CD practices for database applications. - Jasmin Fluri; Fabrizio Fornari 001; Ela Pustulka (J. Softw. Evol. Process., 2024)

Programming IoT systems: A focused conceptual framework and survey of approaches. - Roberto Casadei; Fabrizio Fornari 001; Stefano Mariani 001; Claudio Savaglio (Internet Things, 2025)

Digital Twins of Business Processes: A Research Manifesto. - Fabrizio Fornari 001; 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; et al. (Internet Things, 2025)