Mohsen Ewaida

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 1

Top Topics

Precise Localization

Top Venues

Haifa Verification Conference

Publications

Gustavo Alonso, Timothy Roscoe, David Cock, Mohsen Ewaida, Kaan Kara, Dario Korolija, David Sidler, Zeke Wang
Tackling Hardware/Software co-design from a database perspective. CIDR (2020)
Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. Haifa Verification Conference (2015)