Ali Khalili
Papers
3
Total Citations
18
H-Index
3
About
Ali Khalili is a researcher focused on the formal verification and reliability of software in autonomous and distributed systems. His work centers on developing engineering approaches and automated methods to ensure correctness in complex control architectures, particularly those relying on middleware components. Khalili’s major contributions include pioneering techniques for reverse engineering and learning structured models of middleware, enabling the verification of distributed control programs used in robotics and autonomous systems. His most-cited paper, "Engineering Approaches and Methods to Verify Software in Autonomous Systems" (2015, 8 citations), lays foundational groundwork for this field. In subsequent work, he addressed the critical challenge that software correctness depends on proper middleware usage, proposing automated model extraction to bridge this gap. With a total of 18 citations across his key publications, Khalili’s research has advanced the practical verification of safety-critical autonomous systems, offering tools to ensure reliability without requiring manual model construction. His notable achievement lies in making formal verification more accessible for real-world robotic and distributed control applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3