Eli Arbel

According to our database, Eli Arbel authored at least 9 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Gating Aware Error Injection.

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran

Proceedings of the Hardware and Software: Verification and Testing, 2016

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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2014

Automated detection and verification of parity-protected memory elements.

Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Facilitating timing debug by logic path correspondence.

Oshri Adler, Eli Arbel, Ilia Averbouch, Ilan Beer, Inna Grijnevitch

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

Complete and effective robustness checking by means of interpolation.

Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Shadow Removal Using Intensity Surfaces and Texture Anchor Points.

Eli Arbel, Hagit Hel-Or

IEEE Trans. Pattern Anal. Mach. Intell., 2011

2009

SAT-based synthesis of clock gating functions using 3-valued abstraction.

Eli Arbel, Oleg Rokhlenko, Karen Yorav

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Resurrecting infeasible clock-gating functions.

Eli Arbel, Cindy Eisner, Oleg Rokhlenko

Proceedings of the 46th Design Automation Conference, 2009

2007

Texture-Preserving Shadow Removal in Color Images Containing Curved Surfaces.

Eli Arbel, Hagit Hel-Or

Proceedings of the 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 2007