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)

Enhanced Vacuity Detection in Linear Temporal Logic. - Roy Armoni; Limor Fix; Alon Flaisher; Orna Grumberg; Nir Piterman; Andreas Tiemeyer; Moshe Y. Vardi (CAV, 2003)

Regular Vacuity. - Doron Bustan; Alon Flaisher; Orna Grumberg; Orna Kupferman; Moshe Y. Vardi (CHARME, 2005)

Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. - Alon Flaisher; Alon Gluska; Eli Singerman (FMCAD, 2007)