Niloofar Mansoor

Papers

Total Citations

H-Index

About

Niloofar Mansoor is a leading researcher in the safety and dependability of software-intensive systems, with a particular focus on the certification of safety-critical software. Her work bridges the gap between formal methods and practical engineering, especially in domains like medical robotics and autonomous systems. In her highly cited 2018 paper, "Modeling and testing a family of surgical robots: an experience report" (23 citations), she pioneered techniques for applying dependability cases—rigorous arguments that a system meets its safety properties—to product families rather than single systems. This work demonstrated how to validate invariants or find counterexamples across multiple robot variants, a crucial step for certifying configurable medical devices. Her 2020 paper, "Synthesis of assurance cases for software certification" (10 citations), addresses the alarming rise of software failures in self-driving vehicles and critical infrastructure by proposing automated synthesis of assurance cases. This contribution directly tackles the lack of rigor in existing certification processes, offering a path to more reliable and verifiable software. Mansoor’s research is foundational for engineers and regulators working to ensure that complex, autonomous systems are safe before deployment.