Concepedia

Mohammed Foughali

MF

4

Publications

63

Citations

4

H-Index

2018

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Grenoble Alpes

Université Fédérale de Toulouse Midi-Pyrénées

Laboratoire d'Analyse et d'Architecture des Systèmes

Verimag

Mohammed Foughali is an author at Centre National de la Recherche Scientifique specializing in formal verification, verification, and automation.

ORCID

Top concepts

Publications per year

2018–2023

4

Publications

4

Formal verification of complex robotic systems on resource-constrained platforms

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio et al. · 2018 · 27 citations

, , +19

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

Mohammed Foughali, Pierre-Emmanuel Hladik · Journal of Systems Architecture · 2020 · 13 citations · Full text

, , +14

Compositional verification of embedded real-time systems

Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke · Journal of Systems Architecture · 2023 · 13 citations · Full text

Runtime Verification of Timed Properties in Autonomous Robots

Mohammed Foughali, Saddek Bensalem, Jacques Combaz et al. · 2020 · 10 citations · Full text

Rows per page

1–4 of 4