CV

Education

• PhD Candidate in Computer Science and Mathematics - University of Camerino (Italy) - 2020-ongoing
• Master Degree in Computer Science (LM-18) - University of Camerino (Italy) - 2018-2020
• Bachelor Degree in Computer Science (L-31) - University of Camerino (Italy) - 2015-2018

Visiting Periods

• Visiting PhD student with Process Analytics group - Eindhoven University of Technology (The Netherlands) - 2020
• Erasmus+ Project in New Technologies in Computer Science - Universidad de Murcia (Spain) - 2019

Courses and Schools

• Robotics and STEM in Schools - 2022
• 1^st Summer School on Process Mining - 2022
• 2^nd Summer School on CPS and IoT - 2021
• Teacher training (FOR24) - University of Camerino (Italy) - 2019

Research Groups

• Member of the Process and Service Lab (PROS Lab) at University of Camerino (Italy) - 2020

Research Projects

• Member of the founded national project SEDUCE “Designing Spatially Distributed Cyber-Physical Systems under Uncertainty”. MIUR - PRIN 2017

Publications

Disciplined use of BPMN for mission modeling of Multi-Robot Systems

K. Bourr, F. Corradini, S. Pettinari, B. Re, L. Rossi, and F. Tiezzi. Disciplined use of BPMN for mission modeling of Multi-Robot Systems. In: Proceedings of the Forum at International Conference on the Practice of Enterprise Modeling, vol. 3045, 1-10, CEUR-WS.org, 2021

An Approach to Support Digital Process Twin

F. Corradini, S. Pettinari, B. Re, L. Rossi, and F. Tiezzi. An Approach to Support Digital Process Twin. In: DASC/PiCom/CBDCom/CyberSciTech, 1-4, 2022

A BPMN-driven framework for Multi-Robot System development

F. Corradini, S. Pettinari, B. Re, L. Rossi, F. Tiezzi. A BPMN-driven framework for Multi-Robot System development. Robotics and Autonomous Systems, 160,104322. (2023)

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems

F. Corradini, S. Pettinari, B. Re, L. Rossi, F. Tiezzi. Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. Big Data and Cognitive Computing, 7(3), 139. (2023)

Enhancing compatibility in QoS communication for the Internet of Robotic Things

F. Corradini, S. Pettinari, B. Re, L. Ruschioni, F. Tiezzi. Enhancing Compatibility in QoS Communication for the Internet of Robotic Things. ER Forum/Posters/Demos, vol. 3618, CEUR-WS.org, 2023.

A Methodology for the Analysis of Robotic Systems via Process Mining

F. Corradini, S. Pettinari, B. Re, L. Rossi, and F. Tiezzi. A Methodology for the Analysis of Robotic Systems via Process Mining. Enterprise Design, Operations, and Computing: 117-133, 2023

A technique for discovering BPMN collaboration diagrams

F. Corradini, S. Pettinari, B. Re, L. Rossi, F. Tiezzi. A technique for discovering BPMN collaboration diagrams. Software and Systems Modeling (2024)