Jalil Boudjadar
Papers
1
Total Citations
4
H-Index
1
About
Jalil Boudjadar is a leading researcher in the intersection of formal verification, cyber-physical systems, and autonomous robotics. His work focuses on ensuring the reliability and safety of complex, uncertainty-prone systems, particularly through the innovative use of Digital Twins. In his highly cited 2024 paper, "Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty," Boudjadar introduces a groundbreaking framework that leverages a Digital Twin as a service to monitor and verify the behavior of autonomous mobile robots in real time. This approach directly addresses the critical challenge of unpredictable environments, enabling robots to operate safely even when faced with unforeseen conditions. With over 4 citations already, this work has quickly established him as a key figure in runtime verification for autonomous systems. Boudjadar’s broader contributions span model-driven engineering and resource scheduling, where his methodologies are helping to bridge the gap between theoretical verification and practical deployment in safety-critical domains. His research is essential reading for anyone working on dependable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1