Yael Zbar

2007
3	EE	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
2006
2	EE	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
2002
1	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

Coauthor Index

1	Roy Armoni	[1] [2] [3]
2	Limor Fix	[1] [3]
3	Alon Flaisher	[1]
4	Ranan Fraer	[3]
5	Rob Gerth	[1]
6	Boris Ginsburg	[1]
7	Tamir Heyman	[3]
8	Tomer Kanza	[1]
9	Dmitry Korchemny	[2]
10	Avner Landver	[1]
11	Sela Mador-Haim	[1]
12	Eli Singerman	[1]
13	Andreas Tiemeyer	[1] [2]
14	Moshe Y. Vardi	[1] [2] [3]
15	Yakir Vizel	[3]