Elad Elster

	2008
3		Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
	2006
2		Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman: Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV 2006: 45-51
	2005
1		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

Coauthor Index

1	Tamarah Arons	[1] [2] [3]
2	Limor Fix	[1]
3	Sela Mador-Haim	[1]
4	Michael Mishaeli	[1]
5	Terry Murphy	[2]
6	Shlomit Ozer	[3]
7	Jonathan Shalev	[1] [3]
8	Eli Singerman	[1] [2] [3]
9	Andreas Tiemeyer	[1]
10	Moshe Y. Vardi	[1]
11	Lenore D. Zuck	[1]