Simone Tini
Papers
2
Total Citations
7
H-Index
2
About
Simone Tini is a leading researcher at the intersection of formal methods, cyber-physical systems, and digital twin technology. His work focuses on developing rigorous, mathematically grounded techniques to evaluate and ensure the reliability of complex systems that bridge the physical and digital worlds. Tini’s major contribution lies in pioneering the use of statistical model checking—augmented with feedback loops and perturbations—to quantitatively assess the *effectiveness* of digital twins. This is a critical advance, as it moves beyond simple simulation to provide verifiable guarantees on how well a virtual replica can influence and control its physical counterpart in real time. His highly cited 2024 paper, “Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations,” has garnered 5 citations in its first year, establishing a foundational framework for the field. He further developed this methodology into a practical tool, DT-Stark (2025), which allows engineers to systematically test and validate digital twin performance. By formalizing what it means for a digital twin to be “effective,” Tini is providing the essential safety and reliability assurances needed for the deployment of autonomous and critical systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2