MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tamarah Arons" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Using Timestamping and History Variables to Verify Sequential Consistency
by Tamarah Arons — 2001 — In Proceedings of the 13th International Conference on Computer Aided Verification (CAV 2001
…Using Timestamping and History Variables to Verify Sequential Consistency ? Tamarah Arons…
Cited by 5 (0 self) – Add To MetaCart

Verification by probabilistic abstraction
by Tamarah Arons, Amir Pnueli, Lenore Zuck — 2003 — Weizmann Institute of Science Technical Report
…Parameterized Verification by Probabilistic Abstraction ⋆ Tamarah Arons 1 , Amir Pnueli 1…
Cited by 3 (2 self) – Add To MetaCart

Formal Verification of Backward Compatibility of
by Microcode Tamarah Arons, Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck — 2005 — In: Proc. Computer-Aided Verification (CAV’05). LNCS 2404
…Formal Verification of Backward Compatibility of Microcode? Tamarah Arons1, Elad Elster2, Limor…
Add To MetaCart

Formalizing UML Models and OCL Constraints in PVS
by Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark Van Der Zwaag, Tamarah Arons, Hillel Kugler — 2004
… Tamarah Arons and Hillel Kugler 5 Weizmann Institute of Science, Rehovot, Israel The Object Constraint…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB