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)
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)
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).
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.
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
Formal Verification of the Functional Layer of Robotic and Autonomous Systems pdf cite