Mohammed Foughali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SAC | Contract-based verification of model transformations: a formally founded approach. | Guillaume Brau, Mohammed Foughali |
| 2020 | MEMOCODE | Runtime Verification of Timed Properties in Autonomous Robots. | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand |
| 2020 | RTCSA | A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems. | Mohammed Foughali |
| 2019 | MEDI | On Reconciling Schedulability Analysis and Model Checking in Robotics. | Mohammed Foughali |
| 2019 | QRS | Repeatable Decentralized Simulations for Cyber-Physical Systems. | Christophe Reymann, Mohammed Foughali, Simon Lacroix |
| 2018 | ICSE | Formal verification of complex robotic systems on resource-constrained platforms. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Flix Ingrand, Anthony Mallet |
| 2016 | ICFEM | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Flix Ingrand, Anthony Mallet |