Ruggero Lanotte
Papers
2
Total Citations
7
H-Index
2
About
Ruggero Lanotte is a leading researcher in formal methods, cyber-physical systems, and digital twin verification. His work focuses on ensuring the reliability and safety of complex systems that integrate physical processes with computational control. Lanotte’s major contribution lies in developing rigorous statistical model checking techniques to evaluate the effectiveness of digital twins—virtual replicas that interact with physical systems in real time. His 2024 paper, “Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations,” has already garnered 5 citations, demonstrating its immediate impact. Building on this, his 2025 tool paper, “DT-Stark,” introduces a practical framework for assessing how well a digital twin can direct a physical system to reduce failures and costs while ensuring coherent, safe execution. This work bridges theoretical verification with real-world deployment, offering engineers a systematic way to validate digital twin behavior under feedback and perturbations. Lanotte’s research is essential reading for anyone working in formal verification, embedded systems, or the growing field of digital twin technology.
Research Focus
Key Achievements
Top Papers
- 1
- 2