Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. - Mihail Asavoae; Imane Haur; Mathieu Jan; Belgacem Ben Hedia; Martin Schoeberl (CyPhy/WESE, 2019)

Formal schedulability analysis based on multi-core RTOS model. - Imane Haur; Jean-Luc Béchennec; Olivier Henri Roux (RTNS, 2021)

High-level Colored Time Petri Nets for true concurrency modeling in real-time software. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (CoDIT, 2022)

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (ICFEM, 2022)

Formal verification process of the compliance of a multicore AUTOSAR OS. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (Softw. Qual. J., 2023)

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (Cybern. Syst., 2025)