Mohammed Foughali

Formal verification of the functionnal layer of robotic and autonomous systems

Mohammed Foughali, M. Foughali, 2018 .

On Reconciling Schedulability Analysis and Model Checking in Robotics

Mohammed Foughali, 2019, MEDI Workshops.

Repeatable Decentralized Simulations for Cyber-Physical Systems

Simon Lacroix, Christophe Reymann, Mohammed Foughali, 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS).

Bridging the gap between formal verification and schedulability analysis: The case of robotics

Mohammed Foughali, Pierre-Emmanuel Hladik, 2020, J. Syst. Archit..

A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems

Mohammed Foughali, 2020, 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis pdf

Anthony Mallet, Mohammed Foughali, Félix Ingrand, 2018, ArXiv.

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

Silvano Dal-Zilio, Mohammed Foughali, Félix Ingrand, 2016, ICFEM.

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Silvano Dal-Zilio, Mohammed Foughali, Félix Ingrand, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools

Mohammed Foughali, M. Foughali, 2017, 2017 17th International Conference on Application of Concurrency to System Design (ACSD).

Statistical Model Checking of Complex Robotic Systems

Cristina Seceleanu, Mohammed Foughali, Félix Ingrand, 2019, SPIN.

Contract-based verification of model transformations: a formally founded approach

Guillaume Brau, Mohammed Foughali, 2021, SAC.

On the Semantics of the GenoM3 Framework

Mohammed Foughali, Félix Ingrand, Silvano Dal Zilio, 2019 .