Jonathan Shalev

	2008
2		Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
	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]
2	Elad Elster	[1] [2]
3	Limor Fix	[1]
4	Sela Mador-Haim	[1]
5	Michael Mishaeli	[1]
6	Shlomit Ozer	[2]
7	Eli Singerman	[1] [2]
8	Andreas Tiemeyer	[1]
9	Moshe Y. Vardi	[1]
10	Lenore D. Zuck	[1]