Bahar Salmani
Papers
1
Total Citations
6
H-Index
1
About
Dr. Bahar Salmani is a pioneering researcher at the intersection of formal verification and robotic software engineering. Her primary research areas include cyber-physical systems, formal methods for robotics, and actor-based modeling for dependable autonomous systems. Dr. Salmani’s most influential contribution is her development of an actor-based approach to designing verified robotic programs using the Robot Operating System (ROS) and the Rebeca modeling language. Her seminal 2019 paper, "Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca," has garnered 6 citations and laid critical groundwork for ensuring the reliability of mobile robots in safety-critical applications like manufacturing, healthcare, and education. By integrating formal verification into the ROS middleware ecosystem, she addresses the pressing challenge of guaranteeing correctness in increasingly autonomous cyber-physical systems. Her work bridges the gap between theoretical formal methods and practical robotic development, offering a pathway to more trustworthy robotic software. Dr. Salmani’s research is particularly timely given the ubiquitous revolution of mobile robots, and her contributions continue to influence both academic formal methods research and industrial robotic design practices.
Research Focus
Key Achievements
Top Papers
- 1