BibTeX records: Yael Zbar

• > Home > Persons > Yael Zbar

@inproceedings{DBLP:conf/patmos/AizikKZRA08,
  author       = {Yoni Aizik and
                  Gila Kamhi and
                  Yael Zbar and
                  Hadas Ronen and
                  Muhammad Abozaed},
  editor       = {Lars Svensson and
                  Jos{\'{e}} Monteiro},
  title        = {Power-Aware Design via Micro-architectural Link to Implementation},
  booktitle    = {Integrated Circuit and System Design. Power and Timing Modeling, Optimization
                  and Simulation, 18th International Workshop, {PATMOS} 2008, Lisbon,
                  Portugal, September 10-12, 2008. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5349},
  pages        = {72--81},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-95948-9\_8},
  doi          = {10.1007/978-3-540-95948-9\_8},
  timestamp    = {Wed, 23 Feb 2022 16:05:31 +0100},
  biburl       = {https://dblp.org/rec/conf/patmos/AizikKZRA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/ArmoniFFHVVZ07,
  author       = {Roy Armoni and
                  Limor Fix and
                  Ranan Fraer and
                  Tamir Heyman and
                  Moshe Y. Vardi and
                  Yakir Vizel and
                  Yael Zbar},
  title        = {Deeper Bound in {BMC} by Combining Constant Propagation and Abstraction},
  booktitle    = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
  pages        = {304--309},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASPDAC.2007.358003},
  doi          = {10.1109/ASPDAC.2007.358003},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/ArmoniFFHVVZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/ArmoniKTVZ06,
  author       = {Roy Armoni and
                  Dmitry Korchemny and
                  Andreas Tiemeyer and
                  Moshe Y. Vardi and
                  Yael Zbar},
  editor       = {Klaus Havelund and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Grigore Rosu and
                  Burkhart Wolff},
  title        = {Deterministic Dynamic Monitors for Linear-Time Assertions},
  booktitle    = {Formal Approaches to Software Testing and Runtime Verification, First
                  Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
                  WA, USA, August 15-16, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4262},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11940197\_11},
  doi          = {10.1007/11940197\_11},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/ArmoniKTVZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ArmoniFFGGKLMSTVZ02,
  author       = {Roy Armoni and
                  Limor Fix and
                  Alon Flaisher and
                  Rob Gerth and
                  Boris Ginsburg and
                  Tomer Kanza and
                  Avner Landver and
                  Sela Mador{-}Haim and
                  Eli Singerman and
                  Andreas Tiemeyer and
                  Moshe Y. Vardi and
                  Yael Zbar},
  editor       = {Joost{-}Pieter Katoen and
                  Perdita Stevens},
  title        = {The ForSpec Temporal Logic: {A} New Temporal Property-Specification
                  Language},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  8th International Conference, {TACAS} 2002, Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2002,
                  Grenoble, France, April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2280},
  pages        = {296--211},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46002-0\_21},
  doi          = {10.1007/3-540-46002-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ArmoniFFGGKLMSTVZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}