Eli Arbel  Eli Arbel photo         

contact information

Manager, Quantum Computing
Haifa Research Lab, Haifa, Israel
  +972dash54dash9989831

links



2018

Designing Reliable Cyber-Physical Systems
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Konighofer, Shlomit Koyfman, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Rock, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Forum on specification and Design Languages, FDL 2016, pp. 15-38, Springer, Cham, 2018
Abstract   cyber physical system, correctness, fault tolerance, systems engineering, reliability, computer science, system on a chip, satisfiability modulo theories, computing systems, many core


2016

Designing reliable cyber-physical systems overview associated to the special session at FDL16
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon Ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Konighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Rock, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
2016 Forum on Specification and Design Languages (FDL), pp. 1-8, IEEE
Abstract   cyber physical system, session, multi core processor, correctness, design methods, software engineering, reliability, computer science, computing systems

Gating Aware Error Injection
Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran
Haifa Verification Conference, pp. 34-48, Springer, Cham, 2016
Abstract   fault injection, formal verification, error detection and correction, emulation, fault, reliability, microprocessor, computer engineering, dynamic simulation, computer science


2012

Complete and effective robustness checking by means of interpolation
Stefan Frehse, G\"orschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler
Formal Methods in Computer-Aided Design (FMCAD), 2012, pp. 82--90


2010

Shadow Removal Using Intensity Surfaces and Texture Anchor Points
E Arbel, H Hel-Or
IEEE Transactions on Pattern Analysis and Machine Intelligence, Published by the IEEE Computer Society, 2010


2009

SAT-based synthesis of clock gating functions using 3-valued abstraction
Eli Arbel, Oleg Rokhlenko, Karen Yorav
FMCAD, pp. 198-204, 2009

Resurrecting infeasible clock-gating functions
Eli Arbel, Cindy Eisner, Oleg Rokhlenko
DAC '09: Proceedings of the 46th Annual Design Automation Conference, pp. 160--165, ACM, 2009
Abstract


2007

Texture-preserving shadow removal in color images containing curved surfaces
E Arbel, H Hel-Or
2007 IEEE Conference on Computer Vision and Pattern Recognition, pp. 1--8