Follow
Mo Foughali
Mo Foughali
Other namesMohammed Foughali, Mohammed Aristide Foughali
IRIF/Université Paris Cité
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
Formal Methods and Software Engineering: 18th International Conference on …, 2016
382016
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
332018
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
162019
Bridging the gap between formal verification and schedulability analysis: The case of robotics
M Foughali, PE Hladik
Journal of Systems Architecture 111, 101817, 2020
152020
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
152017
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
132020
Formal verification of the functionnal layer of robotic and autonomous systems
M Foughali
INSA de Toulouse, 2018
112018
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
102020
On the semantics of the GenoM3 framework
M Foughali, S Dal Zilio, F Ingrand
92019
Repeatable Decentralized Simulations for Cyber-Physical Systems
C Reymann, M Foughali, S Lacroix
IEEE 19th International Conference on Software Quality, Reliability and …, 2019
52019
GenoM3 Templates: from middleware independence to formal models synthesis
M Foughali, F Ingrand, A Mallet
arXiv preprint arXiv:1807.10154, 2018
52018
Formal verification of real-time autonomous robots: An interdisciplinary approach
M Foughali, A Zuepke
Frontiers in Robotics and AI 9, 791757, 2022
42022
On reconciling schedulability analysis and model checking in robotics
M Foughali
New Trends in Model and Data Engineering: MEDI 2019 International Workshops …, 2019
42019
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
32020
Compositional verification of embedded real-time systems
M Foughali, PE Hladik, A Zuepke
Journal of Systems Architecture 142, 102928, 2023
12023
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
12021
Some thoughts on teaching introductory programming and the first language dilemma (Discussion Paper)
MA Foughali
Proceedings of the 23rd Koli Calling International Conference on Computing …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–17