Tamarah Arons

2008
14	EE	Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
2006
13	EE	Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman: Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV 2006: 45-51
2005
12	EE	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. CAV 2005: 185-198
11	EE	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. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
2004
10	EE	Tamarah Arons: Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. CAV 2004: 414-426
9	EE	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349
2003
8	EE	Tamarah Arons, Amir Pnueli, Lenore D. Zuck: Parameterized Verification by Probabilistic Abstraction. FoSSaCS 2003: 87-102
7	EE	Amir Pnueli, Tamarah Arons: TLPVS: A PVS-Based LTL Verification System. Verification: Theory and Practice 2003: 598-625
2001
6	EE	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck: Parameterized Verification with Automatically Computed Inductive Assertions. CAV 2001: 221-234
5	EE	Tamarah Arons: Using Timestamping and History Variables to Verify Sequential Consistency. CAV 2001: 423-435
2000
4	EE	Tamarah Arons, Amir Pnueli: A Comparison of Two Verification Methods for Speculative Instruction Execution. TACAS 2000: 487-502
1999
3	EE	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''. DAC 1999: 574-579
2	EE	Tamarah Arons, Amir Pnueli: Verifying Tomasulo's Algoithm by Refinement. VLSI Design 1999: 306-309
1998
1	EE	Amir Pnueli, Tamarah Arons: Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study. FMCAD 1998: 351-368

Coauthor Index

1	Steve Barret	[3]
2	Giora Biran	[3]
3	Frank S. de Boer	[11]
4	Elad Elster	[12] [13] [14]
5	Monica Farkas	[3]
6	Harald Fecher	[11]
7	Limor Fix	[12]
8	Daniel Geist	[3]
9	Karen Holtz	[3]
10	Jozef Hooman	[9] [11]
11	Joost Jacob	[11]
12	Dave King	[3]
13	Hillel Kugler	[9] [11]
14	Marcel Kyas	[11]
15	Andy Long	[3]
16	Sela Mador-Haim	[12]
17	Michael Mishaeli	[12]
18	Terry Murphy	[13]
19	Yvgeny Nustov	[3]
20	Shlomit Ozer	[14]
21	Amir Pnueli	[1] [2] [4] [6] [7] [8] [9]
22	Sitvanit Ruah	[6]
23	Jonathan Shalev	[12] [14]
24	Eli Singerman	[12] [13] [14]
25	Michael Slavkin	[3]
26	Andreas Tiemeyer	[12]
27	Moshe Y. Vardi	[12]
28	Jiazhao Xu	[6]
29	Lenore D. Zuck	[6] [8] [12]
30	Mark van der Zwaag	[9] [11]

Colors in the list of coauthors