Research output per year
Research output per year
Personal profile
Education/Academic qualification
PhD, Technion - Israel Institute of Technology
External positions
Postdoctoral Research Associate, Princeton University
1 Sep 2014 → 31 Aug 2017
Keywords
- QA76 Computer software
- Formal Verification
- Model Checking
- QA75 Electronic computers. Computer science
- Formal Methods
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 Profiles
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.). Springer Science and Business Media Deutschland GmbH, 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).Technion - Israel Institute of Technology
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.). Springer Science and Business Media Deutschland GmbH, 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).Technion - Israel Institute of Technology, Tel Aviv University
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.). Springer Science and Business Media Deutschland GmbH, 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).Technion - Israel Institute of Technology
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.). Springer Science and Business Media Deutschland GmbH, 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).Technion - Israel Institute of Technology
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).Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review