Imane Haur

According to our database, Imane Haur authored at least 5 papers between 2019 and 2023.

Collaborative distances:

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

2023

Formal verification process of the compliance of a multicore AUTOSAR OS.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Softw. Qual. J., June, 2023

2022

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Proceedings of the Formal Methods and Software Engineering, 2022

High-level Colored Time Petri Nets for true concurrency modeling in real-time software.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Proceedings of the 8th International Conference on Control, 2022

2021

Formal schedulability analysis based on multi-core RTOS model.

Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

2019

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.

Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019