Andreas Tiemeyer Vis

*	2009
6	EE	Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg: MAGENTA: transaction-based statistical micro-architectural root-cause analysis. DAC 2009: 639-643
	2006
5	EE	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
	2005
4	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
	2003
3	EE	Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380
	2002
2	EE	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211
	2000
1	EE	Jin Yang, Andreas Tiemeyer: Lazy symbolic model checking. DAC 2000: 35-38

Coauthor Index

1	Roy Armoni	[2] [3] [5]
2	Tamarah Arons	[4]
3	Elad Elster	[4]
4	Limor Fix	[2] [3] [4]
5	Alon Flaisher	[2] [3]
6	Rob Gerth	[2]
7	Boris Ginsburg	[2]
8	Orna Grumberg	[3]
9	Gila Kamhi	[6]
10	Tomer Kanza	[2]
11	Dmitry Korchemny	[5]
12	Avner Landver	[2]
13	Sela Mador-Haim	[2] [4]
14	Michael Mishaeli	[4]
15	Alexander Novakovsky	[6]
16	Nir Piterman	[3]
17	Jonathan Shalev	[4]
18	Eli Singerman	[2] [4]
19	Moshe Y. Vardi	[2] [3] [4] [5]
20	Adriana Wolffberg	[6]
21	Jin Yang	[1]
22	Yael Zbar	[2] [5]
23	Lenore D. Zuck	[4]

Colors in the list of coauthors