Javad Enayati
Papers
1
Total Citations
4
H-Index
1
About
Javad Enayati is a researcher whose work lies at the intersection of autonomous systems, software engineering, and real-time verification. His key research areas include hardware-in-the-loop (HIL) simulation, autonomous underwater robotics, and dependable software design for mission-critical systems. Enayati’s major contribution is the development of a rigorous software engineering procedure for real-time software verification of autonomous underwater robots, as detailed in his most-cited paper, “Hardware-in-the-loop simulation for real-time software verification of an autonomous underwater robot” (2016, 4 citations). This work addresses a critical challenge: ensuring high performance and robustness in autonomous systems, where even a single software error can lead to catastrophic mission failure. By integrating HIL simulation into the development lifecycle, Enayati provides a practical methodology for detecting and mitigating faults before deployment, enhancing system reliability. While his citation count is modest, his research is foundational for engineers and students working on safety-critical autonomous platforms, offering a clear, replicable framework for software validation. His work underscores the importance of bridging simulation and real-world testing, making him a valuable contributor to the field of autonomous robotics.
Research Focus
Key Achievements
Top Papers
- 1