|
Search the dblp DataBase
Tamarah Arons:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Amir Pnueli, Tamarah Arons
TLPVS: A PVS-Based LTL Verification System. [Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:598-625 [Conf]
- Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
Parameterized Verification with Automatically Computed Inductive Assertions. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:221-234 [Conf]
- Tamarah Arons
Using Timestamping and History Variables to Verify Sequential Consistency. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:423-435 [Conf]
- Tamarah Arons
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:414-426 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:185-198 [Conf]
- 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''. [Citation Graph (0, 0)][DBLP] DAC, 1999, pp:574-579 [Conf]
- Amir Pnueli, Tamarah Arons
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:351-368 [Conf]
- Tamarah Arons, Amir Pnueli, Lenore D. Zuck
Parameterized Verification by Probabilistic Abstraction. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2003, pp:87-102 [Conf]
- Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. [Citation Graph (0, 0)][DBLP] MTV, 2006, pp:45-51 [Conf]
- Tamarah Arons, Amir Pnueli
A Comparison of Two Verification Methods for Speculative Instruction Execution. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:487-502 [Conf]
- Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. [Citation Graph (0, 0)][DBLP] UML, 2004, pp:335-349 [Conf]
- Tamarah Arons, Amir Pnueli
Verifying Tomasulo's Algoithm by Refinement. [Citation Graph (0, 0)][DBLP] VLSI Design, 1999, pp:306-309 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
Efficient Symbolic Simulation of Low Level Software. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|