Stefano Tonetta

Papers

Total Citations

H-Index

About

Stefano Tonetta is a leading researcher in model-based systems engineering, with a particular focus on the design, validation, and safety of complex robotic systems. His work centers on developing formal methods and architectural frameworks to manage the inherent complexity of robotics, especially in critical domains like healthcare and space exploration. A key contribution is his advancement of composable models through the Rob-MoSys approach, which enforces a clear separation of concerns to define components, systems, and missions while addressing the needs of diverse stakeholders. His experience report on the ArmAssist robotic system demonstrates how to integrate safety contracts and component-based architecture for rigorous validation in healthcare robotics. More recently, Tonetta has pioneered the RobDT framework, an AI-enhanced digital twin for space exploration robotic assets, bridging simulation and real-world operations. With his most cited works accumulating over 9 citations, Tonetta’s research provides essential methodologies for building dependable, modular, and verifiable robotic systems, making him a key figure in the formal engineering of next-generation autonomous platforms.