Yael Zbar

According to our database, Yael Zbar authored at least 4 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Power-Aware Design via Micro-architectural Link to Implementation.

Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

2007

Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Deterministic Dynamic Monitors for Linear-Time Assertions.

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002