Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Félix Ingrand; Anthony Mallet (ICFEM, 2016)

Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. - Mohammed Foughali (ACSD, 2017)

Formal verification of complex robotic systems on resource-constrained platforms. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (FormaliSE@ICSE, 2018)

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. - Mohammed Foughali; Félix Ingrand; Anthony Mallet (CoRR, 2018)

On Reconciling Schedulability Analysis and Model Checking in Robotics. - Mohammed Foughali (MEDI Workshops, 2019)

Repeatable Decentralized Simulations for Cyber-Physical Systems. - Christophe Reymann; Mohammed Foughali; Simon Lacroix (QRS, 2019)

Statistical Model Checking of Complex Robotic Systems. - Mohammed Foughali; Félix Ingrand; Cristina Seceleanu (SPIN, 2019)

Runtime Verification of Timed Properties in Autonomous Robots. - Mohammed Foughali; Saddek Bensalem; Jacques Combaz; Félix Ingrand (MEMOCODE, 2020)

A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems. - Mohammed Foughali (RTCSA, 2020)

Bridging the gap between formal verification and schedulability analysis: The case of robotics. - Mohammed Foughali; Pierre-Emmanuel Hladik (J. Syst. Archit., 2020)

Contract-based verification of model transformations: a formally founded approach. - Guillaume Brau; Mohammed Foughali (SAC, 2021)

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. - Mohammed Foughali; Alexander Zuepke (Frontiers Robotics AI, 2022)

Some thoughts on teaching introductory programming and the first language dilemma (Discussion Paper). - Mohammed Aristide Foughali (Koli Calling, 2023)

Compositional verification of embedded real-time systems. - Mohammed Foughali; Pierre-Emmanuel Hladik; Alexander Zuepke (J. Syst. Archit., 2023)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions. - Mohammed Aristide Foughali; Marius Mikucionis; Maryline Zhang (COMPSAC, 2024)

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. - Neha Rino; Mohammed Foughali; Eugene Asarin (QEST+FORMATS, 2024)

A Theory of (Linear-Time) Timed Monitors. - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (ECOOP, 2025)

Robust Identification of Hybrid Automata from Noisy Data. - Niklas Kochdumper; Mohammed Aristide Foughali; Peter Habermehl; Eugene Asarin (HSCC, 2025)

A Theory of (Linear-Time) Timed Monitors (Artifact). - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (Dagstuhl Artifacts Ser., 2025)