Abdelouahed Zakari

The “Behavior, interaction and priority” framework applied to SystemC-based embedded systems

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, 2016, 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA).

New approach for securing communication over MQTT protocol A comparaison between RSA and Elliptic Curve

Abdelouahed Zakari, Mounir Rifi, Hicham Belhadaoui, 2016, 2016 Third International Conference on Systems of Collaboration (SysCo).

Simulation of defects within converters-machines associations: Advantage of the modeling at the components level using CHDN model

Abdelouahed Zakari, Janah Saadi, Mouhcine Chami, 2014, 2014 International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM).

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, 2018, ICSDE'18.

Systematic verification of embedded components with re-usable properties

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, 2017, 2017 International Conference on Wireless Networks and Mobile Communications (WINCOM).

A comprehensive survey of smart city technologies for monitoring and controlling the epidemic spread of COVID-19

Abdelouahed Zakari, Abderrahim Maizate, Yassine Sabri, 2021, NISS.