Mohammed Foughali
Mohammed Foughali
Université Grenoble Alpes
Verified email at univ-grenoble-alpes.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
322016
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
222018
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
Bridging the gap between formal verification and schedulability analysis: The case of robotics
M Foughali, PE Hladik
Journal of Systems Architecture 111, 101817, 2020
32020
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
32020
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
GenoM3 Templates: from middleware independence to formal models synthesis
M Foughali, F Ingrand, A Mallet
arXiv preprint arXiv:1807.10154, 2018
22018
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
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), 2021
2021
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
2020
The system can't perform the operation now. Try again later.
Articles 1–14