Mazen Ahmed

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Specification Language

Test Data Generation

Top Venues

Publications

Mazen Ahmed, Mona Safar
Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. DTIS (2019)
Mazen Ahmed, Mona Safar
Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. ICM (2018)