Texture-Preserving Shadow Removal in Color Images Containing Curved Surfaces. - Eli Arbel; Hagit Hel-Or (CVPR, 2007)

Resurrecting infeasible clock-gating functions. - Eli Arbel; Cindy Eisner; Oleg Rokhlenko (DAC, 2009)

SAT-based synthesis of clock gating functions using 3-valued abstraction. - Eli Arbel; Oleg Rokhlenko; Karen Yorav (FMCAD, 2009)

Shadow Removal Using Intensity Surfaces and Texture Anchor Points. - Eli Arbel; Hagit Hel-Or (IEEE Trans. Pattern Anal. Mach. Intell., 2011)

Complete and effective robustness checking by means of interpolation. - Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler (FMCAD, 2012)

Facilitating timing debug by logic path correspondence. - Oshri Adler; Eli Arbel; Ilia Averbouch; Ilan Beer; Inna Grijnevitch (DATE, 2014)

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

Designing reliable cyber-physical systems overview associated to the special session at FDL'16. - Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon D. ter Braak; Sergei Devadze; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

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