Yakir Vizel

View Scopus Profile

Yakir Vizel

Dr.

 https://orcid.org/0000-0002-5655-1667

    Accepting PhD Students

    PhD projects

    Hardware and Software Model Checking

    20072025

    Research activity per year

    Personal profile

    Education/Academic qualification

    PhD, Technion - Israel Institute of Technology

    External positions

    Postdoctoral Research Associate

    1 Sep 2014 → 31 Aug 2017

    Keywords

    • QA75 Electronic computers. Computer science
    • Formal Methods
    • QA76 Computer software
    • Formal Verification
    • Model Checking

    Fingerprint

    Dive into the research topics where Yakir Vizel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Researchers
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • Preface of the special issue on the Conference on Computer-Aided Verification 2022

      Shoham, S. & Vizel, Y., Aug 2025, In: Formal Methods in System Design. 66, 2, p. 131-133 3 p.

      Research output: Contribution to journal › Editorial

      Open Access

    • Property Directed Reachability with Extended Resolution

      Luka, A. & Vizel, Y., 2025, Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings. Piskac, R. & Rakamaric, Z. (eds.). p. 258-280 23 p. (Lecture Notes in Computer Science; vol. 15931 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Revisiting DRUP-Based Interpolants with CaDiCaL 2.0

      Khouri, B. & Vizel, Y., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). p. 88-107 20 p. (Lecture Notes in Computer Science; vol. 15697 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Automatic and Incremental Repair for Speculative Information Leaks

      Bard, J., Jacobs, S. & Vizel, Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 291-313 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Bit-level model checking

      Ivrii, A. & Vizel, Y., 20 Dec 2024, Handbook of Computer Architecture. Vol. 2. p. 1203-1242 40 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    View all 35 Research outputs