Eli Arbel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FDL | 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, Grschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Knighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Rck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2014 | DATE | Facilitating timing debug by logic path correspondence. | Oshri Adler, Eli Arbel, Ilia Averbouch, Ilan Beer, Inna Grijnevitch |
| 2014 | ICCAD | Automated detection and verification of parity-protected memory elements. | Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran |
| 2012 | FMCAD | Complete and effective robustness checking by means of interpolation. | Stefan Frehse, Grschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler |
| 2009 | DAC | Resurrecting infeasible clock-gating functions. | Eli Arbel, Cindy Eisner, Oleg Rokhlenko |
| 2009 | FMCAD | SAT-based synthesis of clock gating functions using 3-valued abstraction. | Eli Arbel, Oleg Rokhlenko, Karen Yorav |
| 2007 | CVPR | Texture-Preserving Shadow Removal in Color Images Containing Curved Surfaces. | Eli Arbel, Hagit Hel-Or |