Tamarah Arons

According to our database, Tamarah Arons authored at least 14 papers between 1998 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Efficient Symbolic Simulation of Low Level Software.

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman

Proceedings of the Design, Automation and Test in Europe, 2008

2006

Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.

Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman

Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006

2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

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

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Deductive Verification of UML Models in TLPVS.

Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag

Proceedings of the «UML» 2004, 2004

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm.

Tamarah Arons

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Parameterized Verification by Probabilistic Abstraction.

Tamarah Arons, Amir Pnueli, Lenore D. Zuck

Proceedings of the Foundations of Software Science and Computational Structures, 2003

TLPVS: A PVS-Based LTL Verification System.

Amir Pnueli, Tamarah Arons

Proceedings of the Verification: Theory and Practice, 2003

2001

Parameterized Verification with Automatically Computed Inductive Assertions.

Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Using Timestamping and History Variables to Verify Sequential Consistency.

Tamarah Arons

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

A Comparison of Two Verification Methods for Speculative Instruction Execution.

Tamarah Arons, Amir Pnueli

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Verifying Tomasulo's Algoithm by Refinement.

Tamarah Arons, Amir Pnueli

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

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

Proceedings of the 36th Conference on Design Automation, 1999

1998

Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study.

Amir Pnueli, Tamarah Arons

Proceedings of the Formal Methods in Computer-Aided Design, 1998