Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study. - Amir Pnueli; Tamarah Arons (FMCAD, 1998)

A Methodology for the Verification of a "System on Chip". - Daniel Geist; Giora Biran; Tamarah Arons; Michael Slavkin; Yvgeny Nustov; Monica Farkas; Karen Holtz; Andy Long; Dave King; Steve Barret (DAC, 1999)

Verifying Tomasulo's Algoithm by Refinement. - Tamarah Arons; Amir Pnueli (VLSI Design, 1999)

A Comparison of Two Verification Methods for Speculative Instruction Execution. - Tamarah Arons; Amir Pnueli (TACAS, 2000)

Using Timestamping and History Variables to Verify Sequential Consistency. - Tamarah Arons (CAV, 2001)

Parameterized Verification with Automatically Computed Inductive Assertions. - Tamarah Arons; Amir Pnueli; Sitvanit Ruah; Jiazhao Xu; Lenore D. Zuck (CAV, 2001)

TLPVS: A PVS-Based LTL Verification System. - Amir Pnueli; Tamarah Arons (Verification: Theory and Practice, 2003)

Parameterized Verification by Probabilistic Abstraction. - Tamarah Arons; Amir Pnueli; Lenore D. Zuck (FoSSaCS, 2003)

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. - Tamarah Arons (CAV, 2004)

Deductive Verification of UML Models in TLPVS. - Tamarah Arons; Jozef Hooman; Hillel Kugler; Amir Pnueli; Mark van der Zwaag (UML, 2004)

Formalizing UML Models and OCL Constraints in PVS. - Marcel Kyas; Harald Fecher; Frank S. de Boer; Joost Jacob; Jozef Hooman; Mark van der Zwaag; Tamarah Arons; Hillel Kugler (SFEDL@ETAPS, 2004)

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)