Yakir Vizel

Dr.

    Accepting PhD Students

    PhD projects

    Hardware and Software Model Checking

    Calculated based on number of publications stored in Pure and citations from Scopus
    20072024

    Research activity per year

    Personal profile

    Education/Academic qualification

    PhD, Technion - Israel Institute of Technology

    External positions

    Postdoctoral Research Associate

    1 Sep 201431 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

    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
    • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

      2 Scopus citations