Mazen Ahmed

According to our database, Mazen Ahmed authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard.

Mazen Ahmed, Mona Safar

Proceedings of the 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2019

2018

Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution.

Mazen Ahmed, Mona Safar

Proceedings of the 30th International Conference on Microelectronics, 2018