Abdelouahed Zakari

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Infectious Disease

Symbolic Execution

Desirable Properties

Top Venues

Publications

Siham Aouad, Abderrahim Maizate, Abdelouahed Zakari, Yassine Sabri
A comprehensive survey of smart city technologies for monitoring and controlling the epidemic spread of COVID-19. NISS (ACM) (2021)
Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari
Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions. ICSDE (2018)
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari
Systematic verification of embedded components with re-usable properties. WINCOM (2017)
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal
The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. AICCSA (2016)