1 . Roderick Bloem, Swen Jacobs, Yakir Vizel, "Efficient Information-Flow Verification Under Speculative Execution." In the proceedings of ATVA 2019.

2 . Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel, "Property Directed Self Composition." In the proceedings of CAV (1), 2019.

3 . Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel, "Interpolating Strong Induction." In the proceedings of CAV (2), 2019.

4 . Arie Gurfinkel, Sharon Shoham, Yakir Vizel, "Quantifiers on Demand." In the proceedings of ATVA, 2018.

5 . Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik, "Lazy Self-composition for Security Verification." In the proceedings of CAV (2), 2018.

6 . Yakir Vizel, Alexander Nadel, Sharad Malik, "Solving linear arithmetic with SAT-based model checking." In the proceedings of FMCAD, 2017.

7 . Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik, "IC3 - Flipping the E in ICE." In the proceedings of VMCAI, 2017.

8 . Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik, "Template-based Synthesis of Instruction-Level Abstractions for SoC Verification." In the proceedings of FMCAD, 2015.

9 . Yakir Vizel, Arie Gurfinkel, Sharad Malik, "Fast Interpolating BMC." In the proceedings of CAV (1), 2015.

10 . Ameneh Golnari, Yakir Vizel, Sharad Malik, "Error-Tolerant Processors: Formal Specification and Verification." In the proceedings of ICCAD, 2015.

11 . Orna Grumberg, Sharon Shoham, Yakir Vizel, "SAT-based Model Checking: Interpolation, IC3, and Beyond." In the proceedings of Software Systems Safety, 2014.

12 . Yakir Vizel, Arie Gurfinkel, "Interpolating Property Directed Reachability." In the proceedings of CAV, 2014.

13 . Arie Gurfinkel, Yakir Vizel, "DRUPing for interpolates." In the proceedings of FMCAD, 2014.

14 . Yakir Vizel, Orna Grumberg, Sharon Shoham, "Intertwined Forward-Backward Reachability Analysis Using Interpolants." In the proceedings of TACAS, 2013.

15 . Yakir Vizel, Vadim Ryvchin, Alexander Nadel, "Efficient Generation of Small Interpolants in CNF." In the proceedings of CAV, 2013.

16 . Yakir Vizel, Orna Grumberg, Sharon Shoham, "Lazy abstraction and SAT-based reachability in hardware model checking." In the proceedings of FMCAD, 2012.

17 . Yakir Vizel, Orna Grumberg, "Interpolation-sequence based model checking." In the proceedings of FMCAD, 2009.

18 . Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Vardi, Yakir Vizel, Yael Zbar, "Deeper Bound in BMC by Combining Constant Propagation and Abstraction." In the proceedings of ASP-DAC, 2007.