Publications

Journal Articles

2023

M. Foughali, P-E Hladik and A. Züpke

Compositional Verification of Embedded Real-Time Systems     pdf     cite

In Journal of Systems Architecture (JSA)

2022

M. Foughali and A. Züpke

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

In Frontiers in Robotics and AI

2020

M. Foughali and P-E. Hladik

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

In Journal of Systems Architecture (JSA)

Conference Papers

2025

M. Amara, G. Bernardi, M. Foughali and A. Francalanza (authors sorted alphabetically)

A Theory of (Linear-Time) Timed Monitors           pdf      cite     Distinguished Paper Award

In the 39th European Conference on Object-Oriented Programming (ECOOP), June 30-July 4, Bergen, Norway.

N. Kochdumper, M. Foughali, P. Habermehl and E. Asarin

Robust Identification of Hybrid Automata from Noisy Data       pdf      cite     Best Repeatability Evaluation Award

In the 28th International Conference on Hybrid Systems: Computation and Control (HSCC), May 6-9, Irvine, USA.

2024

N. Rino, M. Foughali and E. Asarin

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL       pdf       cite       Best Paper Award

In the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), September 9-13, Calgary, Canada.

M. Foughali, M. Mikučionis and M. Zhang

Scalable Computation of Inter-Core Bounds through Exact Abstractions       pdf       cite

In the 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC), July 2-4, Osaka, Japan.

2023

M. Foughali

Some Thoughts on Teaching Introductory Programming and the First Language Dilemma       pdf       cite

In the 23rd Koli Calling International Conference on Computing Education Research (Koli Calling), November 13-19, Koli, Finland.

2021

G. Brau and M. Foughali (equal contribution)

Contract-Based Verification of Model Transformations: A Formally Founded Approach       pdf       cite

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

2020

M. Foughali, S. Bensalem, J. Combaz and F. 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).

J. Ocón, I. Dragomir, A. Coles, L. Kunze, R. Marc, C. Perez, T. Germa, V. Bissonnette, G. Scalise, M. Foughali, K. Kapellos, R. Dominguez, F. Cordes, G. Paar and G. 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)

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

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

C. Reymann, M. Foughali and S. 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.

M. Foughali, F. Ingrand and C. 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

M. Foughali, B. Berthomieu, S. Dal Zilio, P-E. Hladik, F. Ingrand and A. 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

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

M. Foughali, B. Berthomieu, S. Dal Zilio, F. Ingrand and A. 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

M. Foughali, S. Dal Zilio, and F. Ingrand

On The Semantics of the GenoM3 Framework       pdf       cite

Technical report.

2018

M. Foughali

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

PhD thesis.