Azam Sher Khan

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Empirical Studies

Formal Verification

Exhaustive Search

Top Venues

Publications

Endri Kaja, Nicolas Gerlin, Bihan Zhao, Daniela Sanchez Lopera, Jad Al Halabi, Azam Sher Khan, Sebastian Prebeck, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker
An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. ISQED (2024)