Automated detection and verification of parity-protected memory elements. - Eli Arbel; Shlomit Koyfman; Prabhakar Kudva; Shiri Moran (ICCAD, 2014)

Designer-level verification: an industrial experience story. - Stephen Bergman; Gabor Bobok; Walter Kowalski; Shlomit Koyfman; Shiri Moran; Ziv Nevo; Avigail Orni; Viresh Paruthi; Wolfgang Roesner; Gil Shurek; Vasantha Vuyyuru (DATE, 2015)

Gating Aware Error Injection. - Eli Arbel; Erez Barak; Bodo Hoppe; Shlomit Koyfman; Udo Krautz; Shiri Moran (Haifa Verification Conference, 2016)