Simone Vuotto

University of Sassari, University of Genoa

Papers

Total Citations

H-Index

About

Simone Vuotto is a researcher at the intersection of formal methods, cyber-physical systems, and robotics, whose work focuses on ensuring the safety and reliability of complex autonomous systems. Vuotto’s most cited paper, “Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals” (2018, 14 citations), introduces a rigorous framework for verifying system properties against mixed-signal behaviors—a critical step for certifying safety in embedded and robotic controllers. This contribution bridges the gap between abstract formal specifications and real-world sensor data, enabling more trustworthy verification of cyber-physical systems. Earlier, Vuotto co-authored “Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots” (2016, 5 citations), which demonstrates a practical, hybrid approach to robot safety by integrating offline analysis with online monitoring. This work exemplifies Vuotto’s ability to translate formal verification theory into tangible robotic applications. Though early in their career, Vuotto’s publications already show a clear trajectory toward making autonomous systems provably safe, with impact growing as the robotics and formal methods communities increasingly cite these foundational contributions.