Abdelouahed Zakari

According to our database, Abdelouahed Zakari authored at least 4 papers between 2016 and 2021.

Collaborative distances:

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

2021

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

Proceedings of the NISS2021: The 4th International Conference on Networking, Information Systems & Security, KENITRA, Morocco, April 1, 2021

2018

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.

Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari

Proceedings of the 2nd International Conference on Smart Digital Environment, 2018

2017

Systematic verification of embedded components with re-usable properties.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari

Proceedings of the International Conference on Wireless Networks and Mobile Communications, 2017

2016

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016