BibTeX records: Eli Arbel

download as .bib file

@inproceedings{DBLP:conf/fdl/AleksandrowiczA16,
  author       = {Gadi Aleksandrowicz and
                  Eli Arbel and
                  Roderick Bloem and
                  Timon D. ter Braak and
                  Sergei Devadze and
                  G{\"{o}}rschwin Fey and
                  Maksim Jenihhin and
                  Artur Jutman and
                  Hans G. Kerkhoff and
                  Robert K{\"{o}}nighofer and
                  Jan Malburg and
                  Shiri Moran and
                  Jaan Raik and
                  Gerard K. Rauwerda and
                  Heinz Riener and
                  Franz R{\"{o}}ck and
                  Konstantin Shibin and
                  Kim Sunesen and
                  Jinbo Wan and
                  Yong Zhao},
  editor       = {Rolf Drechsler and
                  Robert Wille},
  title        = {Designing reliable cyber-physical systems overview associated to the
                  special session at FDL'16},
  booktitle    = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen,
                  Germany, September 14-16, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FDL.2016.7880382},
  doi          = {10.1109/FDL.2016.7880382},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AleksandrowiczA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/ArbelBHKKM16,
  author       = {Eli Arbel and
                  Erez Barak and
                  Bodo Hoppe and
                  Shlomit Koyfman and
                  Udo Krautz and
                  Shiri Moran},
  editor       = {Roderick Bloem and
                  Eli Arbel},
  title        = {Gating Aware Error Injection},
  booktitle    = {Hardware and Software: Verification and Testing - 12th International
                  Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
                  14-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10028},
  pages        = {34--48},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49052-6\_3},
  doi          = {10.1007/978-3-319-49052-6\_3},
  timestamp    = {Mon, 03 Jan 2022 22:33:54 +0100},
  biburl       = {https://dblp.org/rec/conf/hvc/ArbelBHKKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hvc/2016,
  editor       = {Roderick Bloem and
                  Eli Arbel},
  title        = {Hardware and Software: Verification and Testing - 12th International
                  Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
                  14-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10028},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49052-6},
  doi          = {10.1007/978-3-319-49052-6},
  isbn         = {978-3-319-49051-9},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hvc/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/AdlerAABG14,
  author       = {Oshri Adler and
                  Eli Arbel and
                  Ilia Averbouch and
                  Ilan Beer and
                  Inna Grijnevitch},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Facilitating timing debug by logic path correspondence},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.270},
  doi          = {10.7873/DATE.2014.270},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/AdlerAABG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/ArbelKKM14,
  author       = {Eli Arbel and
                  Shlomit Koyfman and
                  Prabhakar Kudva and
                  Shiri Moran},
  editor       = {Yao{-}Wen Chang},
  title        = {Automated detection and verification of parity-protected memory elements},
  booktitle    = {The {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCAD.2014.7001322},
  doi          = {10.1109/ICCAD.2014.7001322},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ArbelKKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/FrehseFAYD12,
  author       = {Stefan Frehse and
                  G{\"{o}}rschwin Fey and
                  Eli Arbel and
                  Karen Yorav and
                  Rolf Drechsler},
  editor       = {Gianpiero Cabodi and
                  Satnam Singh},
  title        = {Complete and effective robustness checking by means of interpolation},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
                  UK, October 22-25, 2012},
  pages        = {82--90},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6462559/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/FrehseFAYD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pami/ArbelH11,
  author       = {Eli Arbel and
                  Hagit Hel{-}Or},
  title        = {Shadow Removal Using Intensity Surfaces and Texture Anchor Points},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {33},
  number       = {6},
  pages        = {1202--1216},
  year         = {2011},
  url          = {https://doi.org/10.1109/TPAMI.2010.157},
  doi          = {10.1109/TPAMI.2010.157},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pami/ArbelH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/ArbelER09,
  author       = {Eli Arbel and
                  Cindy Eisner and
                  Oleg Rokhlenko},
  title        = {Resurrecting infeasible clock-gating functions},
  booktitle    = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
                  San Francisco, CA, USA, July 26-31, 2009},
  pages        = {160--165},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629911.1629957},
  doi          = {10.1145/1629911.1629957},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ArbelER09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ArbelRY09,
  author       = {Eli Arbel and
                  Oleg Rokhlenko and
                  Karen Yorav},
  title        = {SAT-based synthesis of clock gating functions using 3-valued abstraction},
  booktitle    = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages        = {198--204},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FMCAD.2009.5351118},
  doi          = {10.1109/FMCAD.2009.5351118},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ArbelRY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cvpr/ArbelH07,
  author       = {Eli Arbel and
                  Hagit Hel{-}Or},
  title        = {Texture-Preserving Shadow Removal in Color Images Containing Curved
                  Surfaces},
  booktitle    = {2007 {IEEE} Computer Society Conference on Computer Vision and Pattern
                  Recognition {(CVPR} 2007), 18-23 June 2007, Minneapolis, Minnesota,
                  {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CVPR.2007.383081},
  doi          = {10.1109/CVPR.2007.383081},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cvpr/ArbelH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.