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

    20072024

    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

    • 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

      Open Access

    • Hyperproperty Verification as CHC Satisfiability

      Itzhaky, S., Shoham, S. & Vizel, Y., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). p. 212-241 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

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

      Open Access

    • Condition Synthesis Realizability via Constrained Horn Clauses

      Rothenberg, B. C., Grumberg, O., Vizel, Y. & Singher, E., 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). p. 380-396 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13903 LNCS).

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

    • Structure-Guided Solution of Constrained Horn Clauses

      Rappoport, O., Grumberg, O. & Vizel, Y., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). p. 117-138 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

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

    • Bounded Model Checking for LLVM

      Priya, S., Su, Y., Bao, Y., Zhou, X., Vizel, Y. & Gurfinkel, A., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). p. 214-224 11 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).

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

    View all 31 Research outputs