Papers
14
Total Citations
144
H-Index
8
About
Mohammed Foughali is a prominent researcher specializing in formal verification, real-time systems, and autonomous robotics — a critical intersection of disciplines that addresses the growing need for rigorous safety guarantees in intelligent systems. His work systematically tackles one of robotics' most pressing challenges: ensuring that complex autonomous software behaves correctly and safely under strict real-time constraints. Foughali has made significant contributions across multiple verification paradigms, including model checking, statistical model checking, compositional verification, and runtime verification, applying these techniques specifically to robotic functional layers and resource-constrained platforms. His 2016 paper on model checking real-time properties in autonomous robots (31 citations) established an important foundation in the field, while subsequent work bridging formal verification with schedulability analysis (2020) demonstrated his commitment to interdisciplinary solutions. His research on statistical model checking (2019) further expanded the toolkit available to robotics engineers facing scalability challenges. With over 110 cumulative citations across a decade of research, Foughali has meaningfully advanced the practical applicability of formal methods to robotic systems — areas where simulation and testing alone are insufficient. His 2023 work on compositional verification signals continued innovation, making him an essential reference for researchers working at the frontier of safe autonomous systems development.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Compositional verification of embedded real-time systems15 citations · 2023
- 4Statistical Model Checking of Complex Robotic Systems13 citations · 2019
- 5
- 6Runtime Verification of Timed Properties in Autonomous Robots11 citations · 2020
- 7
- 8
- 9
- 10