The SCEAS System
Navigation Menu

Search the dblp DataBase


Tamarah Arons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Tamarah Arons
    Using Timestamping and History Variables to Verify Sequential Consistency. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:423-435 [Conf]
  4. Tamarah Arons
    Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:414-426 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Tamarah Arons, Amir Pnueli, Lenore D. Zuck
    Parameterized Verification by Probabilistic Abstraction. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:87-102 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Tamarah Arons, Amir Pnueli
    Verifying Tomasulo's Algoithm by Refinement. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1999, pp:306-309 [Conf]
  13. 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]

  14. Efficient Symbolic Simulation of Low Level Software. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002