Mohammed Foughali

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Topics

Deterministic Finite Automaton

Formal Verification

Top Venues

J. Syst. Archit.

Publications

Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke
Compositional verification of embedded real-time systems. J. Syst. Archit. 142 (2023)
Mohammed Foughali, Alexander Zuepke
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. Frontiers Robotics AI 9 (2022)
Guillaume Brau, Mohammed Foughali
Contract-based verification of model transformations: a formally founded approach. SAC (2021)
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE (2020)
Mohammed Foughali
A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems. RTCSA (2020)
Mohammed Foughali, Pierre-Emmanuel Hladik
Bridging the gap between formal verification and schedulability analysis: The case of robotics. J. Syst. Archit. 111 (2020)
Christophe Reymann, Mohammed Foughali, Simon Lacroix
Repeatable Decentralized Simulations for Cyber-Physical Systems. QRS (2019)
Mohammed Foughali
On Reconciling Schedulability Analysis and Model Checking in Robotics. MEDI Workshops (2019)
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
Statistical Model Checking of Complex Robotic Systems. SPIN (2019)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE (2018)
Mohammed Foughali, Félix Ingrand, Anthony Mallet
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. CoRR (2018)
Mohammed Foughali
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. ACSD (2017)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM (2016)