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
-
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
-
Computer aided verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings
Shoham, S. (ed.) & Vizel, Y. (ed.), 2022, Cham: Springer International Publishing AG. 563 p. (Lecture Notes in Computer Science Ser; vol. v.13371)Research output: Book/Report › Book
-
Preface
Shoham, S. & Vizel, Y., 2022, In: Lecture Notes in Computer Science. 13372 LNCS, p. v-viTel Aviv University, Technion - Israel Institute of Technology
Research output: Contribution to journal › Editorial