FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. - Andrew Becker; Djordje Maksimovic; David Novo; Mohsen Ewaida; Andreas G. Veneris; Barbara Jobstmann; Paolo Ienne (Haifa Verification Conference, 2015)

Tackling Hardware/Software co-design from a database perspective. - Gustavo Alonso; Timothy Roscoe; David A. Cock; Mohsen Ewaida; Kaan Kara; Dario Korolija; David Sidler; Zeke Wang (CIDR, 2020)