Mohammed (Mo) Foughali
Mohammed (Mo) Foughali
IRIF/Université de Paris
Verified email at - Homepage
Cited by
Cited by
Model checking real-time properties on the functional layer of autonomous robots
M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet
International Conference on Formal Engineering Methods, 383-399, 2016
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, SD Zilio, PE Hladik, F Ingrand, A Mallet
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2-9, 2018
Statistical Model Checking of Complex Robotic Systems
M Foughali, F Ingrand, C Seceleanu
26th International SPIN Symposium on Model Checking of Software, 114-134, 2019
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools
M Foughali
IEEE Application of Concurrency to System Design, 29-38, 2017
Formal verification of the functionnal layer of robotic and autonomous systems
M Foughali
INSA de Toulouse, 2018
Runtime verification of timed properties in autonomous robots
M Foughali, S Bensalem, J Combaz, F Ingrand
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
ADE: Autonomous DEcision making in very long traverses
J Ocón, I Dragomir, A Coles, A Green, L Kunze, R Marc, CJ Perez, ...
Lunar and Planetary Institute, 2020
Bridging the gap between formal verification and schedulability analysis: The case of robotics
M Foughali, PE Hladik
Journal of Systems Architecture 111, 101817, 2020
On the semantics of the GenoM3 framework
M Foughali, S Dal Zilio, F Ingrand
GenoM3 Templates: from middleware independence to formal models synthesis
M Foughali, F Ingrand, A Mallet
arXiv preprint arXiv:1807.10154, 2018
On reconciling schedulability analysis and model checking in robotics
M Foughali
International Conference on Model and Data Engineering, 32-48, 2019
Repeatable Decentralized Simulations for Cyber-Physical Systems
C Reymann, M Foughali, S Lacroix
IEEE 19th International Conference on Software Quality, Reliability and …, 2019
A two-step hybrid approach for verifying real-time robotic systems
M Foughali
2020 IEEE 26th International Conference on Embedded and Real-Time Computing …, 2020
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach
M Foughali, A Zuepke
Frontiers in Robotics and AI, 1, 2022
Contract-based verification of model transformations: a formally founded approach
G Brau, M Foughali
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1559-1568, 2021
The system can't perform the operation now. Try again later.
Articles 1–15