Tamarah Arons

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