The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - 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 (TACAS, 2002)

Deterministic Dynamic Monitors for Linear-Time Assertions. - Roy Armoni; Dmitry Korchemny; Andreas Tiemeyer; Moshe Y. Vardi; Yael Zbar (FATES/RV, 2006)

Deeper Bound in BMC by Combining Constant Propagation and Abstraction. - Roy Armoni; Limor Fix; Ranan Fraer; Tamir Heyman; Moshe Y. Vardi; Yakir Vizel; Yael Zbar (ASP-DAC, 2007)

Power-Aware Design via Micro-architectural Link to Implementation. - Yoni Aizik; Gila Kamhi; Yael Zbar; Hadas Ronen; Muhammad Abozaed (PATMOS, 2008)