Tamarah Arons

Publication Activity (10 Years)

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

Publications

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman
Efficient Symbolic Simulation of Low Level Software. DATE (2008)
Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV (2006)
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
Formalizing UML Models and OCL Constraints in PVS. Electron. Notes Theor. Comput. Sci. 115 (2005)
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)
Tamarah Arons
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. CAV (2004)
Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. UML (2004)
Amir Pnueli, Tamarah Arons
TLPVS: A PVS-Based LTL Verification System. Verification: Theory and Practice (2003)
Tamarah Arons, Amir Pnueli, Lenore D. Zuck
Parameterized Verification by Probabilistic Abstraction. FoSSaCS (2003)
Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
Parameterized Verification with Automatically Computed Inductive Assertions. CAV (2001)
Tamarah Arons
Using Timestamping and History Variables to Verify Sequential Consistency. CAV (2001)
Tamarah Arons, Amir Pnueli
A Comparison of Two Verification Methods for Speculative Instruction Execution. TACAS (2000)
Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret
A Methodology for the Verification of a "System on Chip". DAC (1999)
Tamarah Arons, Amir Pnueli
Verifying Tomasulo's Algoithm by Refinement. VLSI Design (1999)
Amir Pnueli, Tamarah Arons
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study. FMCAD (1998)