Mohammed Foughali
Mohammed Foughali
Université Grenoble Alpes
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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, S Dal Zilio, PE Hladik, F Ingrand, A Mallet
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software …, 2018
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
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
Formal verification of the functionnal layer of robotic and autonomous systems
M Foughali
INSA de Toulouse, 2018
On the semantics of the GenoM3 framework
M Foughali, S Dal Zilio, F Ingrand
On Reconciling Schedulability Analysis and Model Checking in Robotics
M Foughali
International Conference on Model and Data Engineering, 32-48, 2019
GenoM3 Templates: from middleware independence to formal models synthesis
M Foughali, F Ingrand, A Mallet
arXiv preprint arXiv:1807.10154, 2018
Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
M Foughali, PE Hladik
Journal of Systems Architecture, 101817, 2020
ADE: Autonomous DEcision making in very long traverses
J Ocón, I Dragomir, A Coles, A Green, L Kunze, R Marc, CJ Perez, ...
International Symposium on Artificial Intelligence, Robotics and Automation …, 2020
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12