Mohammed Foughali, PhD

Google Scholar      dblp

Logo

Biography

Research

Teaching

Publications

Artefacts

Publications

Journal Articles

2020

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

2021

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).

2020

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).

2019

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.

2018

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.

2017

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.

2016

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

2019

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

On The Semantics of the GenoM3 Framework       pdf       cite

Technical report.

2018

Mohammed Foughali

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

PhD thesis.