Yael Zbar

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed
Power-Aware Design via Micro-architectural Link to Implementation. PATMOS (2008)
Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC (2007)
Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV (2006)
Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)