Francesco Tiezzi

About

Francesco Tiezzi is a computer scientist whose research sits at the intersection of formal methods, autonomic computing, and robotic systems programming. His most influential contribution, "A Formal Approach to Autonomic Systems Programming" (2014, 144 citations), established rigorous linguistic and theoretical foundations for building self-managing software systems — a critical challenge as modern systems grow in scale and complexity. This work, alongside "Formalising Adaptation Patterns for Autonomic Ensembles" and "On Programming and Policing Autonomic Computing Systems," cemented his reputation as a leading voice in applying formal methods to adaptive, self-organizing architectures. In later years, Tiezzi extended these foundations toward multi-robot systems, developing frameworks and programming languages — notably X-KLAIM — to coordinate distributed robotic applications with formal guarantees. His BPMN-driven framework for multi-robot development and process mining methodology reflect a commitment to bridging theoretical rigor with practical engineering. More recently, he has pioneered research into executable digital process twins, exploring how runtime monitoring and process-driven approaches can enhance autonomous systems. With a body of work spanning autonomic computing, robotics coordination, and digital twins, Tiezzi represents a distinctive voice in building formally grounded yet practically motivated software systems for complex, dynamic environments.

Research Focus

Key Achievements

Top Papers

1. 1
   A Formal Approach to Autonomic Systems Programming

   144 citations · 2014
2. 2
   Towards a Formal Verification Methodology for Collective Robotic Systems

   30 citations · 2012
3. 3
   A BPMN-driven framework for Multi-Robot System development

   26 citations · 2022
4. 4
   Formalising Adaptation Patterns for Autonomic Ensembles

   12 citations · 2014
5. 5
   Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems

   11 citations · 2023
6. 6
   A Methodology for the Analysis of Robotic Systems via Process Mining

   7 citations · 2023
7. 7
   On Programming and Policing Autonomic Computing Systems

   7 citations · 2014
8. 8
   An Approach to Support Digital Process Twin

   7 citations · 2022
9. 9
   Coordinating and programming multiple ROS-based robots with X-KLAIM

   5 citations · 2023
10. 10
    Programming Multi-robot Systems with X-KLAIM

    4 citations · 2022

Key Collaborators

Contact & Links