Hamid Bagheri

Papers

Total Citations

H-Index

About

Hamid Bagheri is a leading researcher in software engineering, with a focus on safety-critical systems, software assurance, and model-driven development. His work addresses the growing challenge of certifying software in domains like medical robotics and autonomous vehicles, where failures can have catastrophic consequences. Bagheri’s most cited paper, “Modeling and testing a family of surgical robots: an experience report” (2018, 23 citations), pioneers methods for validating safety properties across product families rather than single systems, using dependability cases to demonstrate invariants or counterexamples. In “Synthesis of assurance cases for software certification” (2020, 10 citations), he tackles the rigor gap in existing certification processes for embedded software, proposing automated synthesis techniques to strengthen evidence for safety claims. His contributions are vital as software becomes pervasive in society—from medical devices to self-driving cars—offering systematic approaches to manage risk. Bagheri’s work has significant impact, shaping how engineers build trustworthy systems, and his research is widely cited by practitioners and academics seeking to bridge formal verification with practical certification.