Formal Verification of Backward Compatibility of Microcode. - Tamarah Arons; Elad Elster; Limor Fix; Sela Mador-Haim; Michael Mishaeli; Jonathan Shalev; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Lenore D. Zuck (CAV, 2005)

Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. - Tamarah Arons; Elad Elster; Terry Murphy; Eli Singerman (MTV, 2006)

Efficient Symbolic Simulation of Low Level Software. - Tamarah Arons; Elad Elster; Shlomit Ozer; Jonathan Shalev; Eli Singerman (DATE, 2008)