Követés
Mo Foughali
Mo Foughali
További nevekMohammed Foughali, Mohammed Aristide Foughali
IRIF/Université Paris Cité
E-mail megerősítve itt: irif.fr - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–17