The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari; Tarik Nahhal (AICCSA, 2016)

Systematic verification of embedded components with re-usable properties. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari (WINCOM, 2017)

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions. - Lamia Eljadiri; Ismail Assayad; Abdelouahed Zakari (ICSDE, 2018)

A comprehensive survey of smart city technologies for monitoring and controlling the epidemic spread of COVID-19. - Siham Aouad; Abderrahim Maizate; Abdelouahed Zakari; Yassine Sabri (NISS (ACM), 2021)