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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Preface of the special issue on the Conference on Computer-Aided Verification 2022
Shoham, S. & Vizel, Y., 2025, (Accepted/In press) In: Formal Methods in System Design.Tel Aviv University, Technion - Israel Institute of Technology
Research output: Contribution to journal › Editorial
-
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.). Springer Science and Business Media Deutschland GmbH, p. 88-107 20 p. (Lecture Notes in Computer Science; vol. 15697 LNCS).Technion - Israel Institute of Technology
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.). 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 -
Bit-level model checking
Ivrii, A. & Vizel, Y., 20 Dec 2024, Handbook of Computer Architecture. Springer Nature, Vol. 2. p. 1203-1242 40 p.Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
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