Login / Signup
Imane Haur
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Hardware And Software
Formal Verification
Petri Net
Ims Ld
Top Venues
CoDIT
Softw. Qual. J.
CyPhy/WESE
RTNS
</>
Publications
</>
Imane Haur
,
Jean-Luc Béchennec
,
Olivier H. Roux
Formal verification process of the compliance of a multicore AUTOSAR OS.
Softw. Qual. J.
31 (2) (2023)
Imane Haur
,
Jean-Luc Béchennec
,
Olivier H. Roux
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.
ICFEM
(2022)
Imane Haur
,
Jean-Luc Béchennec
,
Olivier H. Roux
High-level Colored Time Petri Nets for true concurrency modeling in real-time software.
CoDIT
(2022)
Imane Haur
,
Jean-Luc Béchennec
,
Olivier Henri Roux
Formal schedulability analysis based on multi-core RTOS model.
RTNS
(2021)
Mihail Asavoae
,
Imane Haur
,
Mathieu Jan
,
Belgacem Ben Hedia
,
Martin Schoeberl
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.
CyPhy/WESE
(2019)