Mohammed Foughali

According to our database, Mohammed Foughali authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL.

Neha Rino, Mohammed Foughali, Eugene Asarin

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Scalable Computation of Inter-Core Bounds Through Exact Abstractions.

Mohammed Aristide Foughali, Marius Mikucionis, Maryline Zhang

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Compositional verification of embedded real-time systems.

Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke

J. Syst. Archit., September, 2023

Some thoughts on teaching introductory programming and the first language dilemma (Discussion Paper).

Mohammed Aristide Foughali

Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023

2022

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.

Mohammed Foughali, Alexander Zuepke

Frontiers Robotics AI, 2022

2021

Contract-based verification of model transformations: a formally founded approach.

Guillaume Brau, Mohammed Foughali

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Bridging the gap between formal verification and schedulability analysis: The case of robotics.

Mohammed Foughali, Pierre-Emmanuel Hladik

J. Syst. Archit., 2020

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

Mohammed Foughali

Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020

Runtime Verification of Timed Properties in Autonomous Robots.

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

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019

Statistical Model Checking of Complex Robotic Systems.

Mohammed Foughali, Félix Ingrand, Cristina Seceleanu

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Repeatable Decentralized Simulations for Cyber-Physical Systems.

Christophe Reymann, Mohammed Foughali, Simon Lacroix

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

On Reconciling Schedulability Analysis and Model Checking in Robotics.

Mohammed Foughali

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.

Mohammed Foughali, Félix Ingrand, Anthony Mallet

CoRR, 2018

Formal verification of complex robotic systems on resource-constrained platforms.

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

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

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

Mohammed Foughali

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

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

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

Proceedings of the Formal Methods and Software Engineering, 2016