Simon Iosti
Papers
1
Total Citations
10
H-Index
1
About
Simon Iosti is a researcher in dependable and resilient computing systems, with a focus on formal methods for fault tolerance. His work centers on designing systems that can autonomously detect failures and reconfigure themselves to maintain operation—a critical capability for safety-critical applications in aerospace, autonomous vehicles, and industrial control. His most-cited paper, "Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach" (2018), introduces a rigorous framework for specifying and verifying these adaptive behaviors, ensuring correctness even under unexpected faults. With 10 citations, this work has influenced subsequent studies in self-healing architectures and model-based fault diagnosis. Iosti’s contributions bridge theoretical verification and practical system design, offering engineers a systematic path to build more robust, self-repairing systems. His research is particularly notable for its emphasis on formal guarantees, moving beyond heuristic approaches to provide provable resilience. For students and researchers, Iosti’s work represents a key step toward autonomous systems that can be trusted in high-stakes environments.
Research Focus
Key Achievements
Top Papers
- 1