Mohammed (Mo) Foughali
Mohammed (Mo) Foughali
IRIF/Université de Paris
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
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
362016
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, S Dal Zilio, PE Hladik, F Ingrand, A Mallet
2018 IEEE/ACM 6th international FME workshop on formal methods in software …, 2018
252018
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
112019
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
112017
Formal verification of the functionnal layer of robotic and autonomous systems
M Foughali
INSA de Toulouse, 2018
82018
On the semantics of the GenoM3 framework
M Foughali, S Dal Zilio, F Ingrand
62019
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, 2021
52021
Bridging the gap between formal verification and schedulability analysis: The case of robotics
M Foughali, PE Hladik
Journal of Systems Architecture 111, 101817, 2020
52020
GenoM3 Templates: from middleware independence to formal models synthesis
M Foughali, F Ingrand, A Mallet
arXiv preprint arXiv:1807.10154, 2018
42018
On reconciling schedulability analysis and model checking in robotics
M Foughali
International Conference on Model and Data Engineering, 32-48, 2019
22019
Repeatable Decentralized Simulations for Cyber-Physical Systems
C Reymann, M Foughali, S Lacroix
IEEE 19th International Conference on Software Quality, Reliability and …, 2019
22019
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
12020
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
12020
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
2021
The system can't perform the operation now. Try again later.
Articles 1–14