Mohammed Foughali

14 papers B 1C 3Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL.
QEST+FORMATS
Neha Rino, Mohammed Foughali, Eugene Asarin
2023 J jnl
Compositional verification of embedded real-time systems.
J. Syst. Archit.
Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke
2022 J jnl
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
Frontiers Robotics AI
Mohammed Foughali, Alexander Zuepke
2021 Misc conf
Contract-based verification of model transformations: a formally founded approach.
SAC
Guillaume Brau, Mohammed Foughali
2020 B conf
A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems.
RTCSA
Mohammed Foughali
2020 J jnl
Bridging the gap between formal verification and schedulability analysis: The case of robotics.
J. Syst. Archit.
Mohammed Foughali, Pierre-Emmanuel Hladik
2020 C conf
Runtime Verification of Timed Properties in Autonomous Robots.
MEMOCODE
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
2019 — conf
On Reconciling Schedulability Analysis and Model Checking in Robotics.
MEDI Workshops
Mohammed Foughali
2019 C conf
Repeatable Decentralized Simulations for Cyber-Physical Systems.
QRS
Christophe Reymann, Mohammed Foughali, Simon Lacroix
2019 — conf
Statistical Model Checking of Complex Robotic Systems.
SPIN
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
2018 — conf
Formal verification of complex robotic systems on resource-constrained platforms.
FormaliSE@ICSE
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2018 J jnl
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
CoRR
Mohammed Foughali, Félix Ingrand, Anthony Mallet
2017 — conf
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools.
ACSD
Mohammed Foughali
2016 C conf
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
ICFEM
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet