Mohammed Foughali, PhD

Google Scholar      dblp








Journal Articles


Mohammed Foughali and Pierre-Emmanuel Hladik

Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics       pdf       cite

In Journal of Systems Architecture (JSA)

Conference Papers


Guillaume Brau and Mohammed Foughali (equal contribution)

Contract-Based Verification of Model Transformations: A Formally Founded Approach       pdf       cite (available soon)

In the 36th ACM/SIGAPP Symposium On Applied Computing (SAC), March 22-26, fully virtual (originally at Gwangju, South Korea).


Mohammed Foughali, Saddek Bensalem, Jacques Combaz and Félix Ingrand

Runtime Verification of Timed Properties in Autonomous Robots       pdf       cite

In the 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), December 02-04, fully virtual (originally at Jaipur, India).

Jorge Ocón, Iulia Dragomir, Andrew Coles, Lars Kunze, Robert Marc, Carlos Perez, Thierry Germa, Vincent Bissonnette, Genny Scalise, Mohammed Foughali, Konstantinos Kapellos, Raùl Dominguez, Florian Cordes, Gerhard Paar and Giulio Reina

ADE: Autonomous Decision Making in Very Long Traverses       pdf       cite

In the 15th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-Sairas), October 19-23 (virtual)

Mohammed Foughali

A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems       pdf       cite

In the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August 19-21, fully virtual (originally at Gangneung, South Korea).


Mohammed Foughali

On Reconciling Schedulability Analysis and Model Checking in Robotics       pdf       cite

In DETECT @ the 9th International Conference on Model and Data Engineering (MEDI), October 28, Toulouse, France.

Christophe Reymann, Mohammed Foughali and Simon Lacroix

Repeatable Decentralized Simulations for Cyber-Physical Systems       pdf       cite

In the 19th IEEE International Conference on Software Quality, Reliability and Security (QRS) (former SERE & QSIC), July 22-26, Sofia, Bulgaria.

Mohammed Foughali, Félix Ingrand and Cristina Seceleanu

Statistical Model Checking of Complex Robotic Systems       pdf       cite

In the 26th International SPIN Symposium on Model Checking of Software, July 15-19, Beijing, China.


Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand and Anthony Mallet

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms       pdf       cite

In the 6th Conference on Formal Methods in Software Engineering (FormaliSE), June 2, Göteborg, Sweden.


Mohammed Foughali

Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools       pdf       cite

In the 17th IEEE Application of Concurrency to System Design (ACSD), Jun 28-30, Zaragoza, Spain.


Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand and Anthony Mallet

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots       pdf       cite

In the 18th International Conference on Formal Engineering Methods (ICFEM), Nov 14-18, Tokyo, Japan.

Theses & Technical Reports


Mohammed Foughali, Silvano Dal Zilio, and Félix Ingrand

On The Semantics of the GenoM3 Framework       pdf       cite

Technical report.


Mohammed Foughali

Formal Verification of the Functional Layer of Robotic and Autonomous Systems       pdf       cite

PhD thesis.