default search action
Yakir Vizel
Person information
- affiliation: Technion - Israel Institute of Technology, Haifa, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Shachar Itzhaky, Sharon Shoham, Yakir Vizel:
Hyperproperty Verification as CHC Satisfiability. ESOP (2) 2024: 212-241 - [c24]Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) 2024: 291-313 - 2023
- [c23]Omer Rappoport
, Orna Grumberg
Structure-Guided Solution of Constrained Horn Clauses. ATVA 2023: 117-138 - [c22]Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher
Condition Synthesis Realizability via Constrained Horn Clauses. NFM 2023: 380-396 - [i7]Shachar Itzhaky, Sharon Shoham, Yakir Vizel:
Hyperproperty Verification as CHC Satisfiability. CoRR abs/2304.12588 (2023) - [i6]Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. CoRR abs/2305.10092 (2023) - 2022
- [j6]Siddharth Priya
Verifying verified code. Innov. Syst. Softw. Eng. 18(3): 335-346 (2022) - [c21]Siddharth Priya
Bounded Model Checking for LLVM. FMCAD 2022: 214-224 - [e3]Sharon Shoham
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13371, Springer 2022, ISBN 978-3-031-13184-4 [contents] - [e2]Sharon Shoham
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13372, Springer 2022, ISBN 978-3-031-13187-5 [contents] - 2021
- [c20]Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying Verified Code. ATVA 2021: 187-202 - [c19]Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel:
IC3 with Internal Signals. FMCAD 2021: 63-71 - [e1]Fritz Henglein, Sharon Shoham, Yakir Vizel:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings. Lecture Notes in Computer Science 12597, Springer 2021, ISBN 978-3-030-67066-5 [contents] - [i5]Arie Gurfinkel, Sharon Shoham, Yakir Vizel:
Quantifiers on Demand. CoRR abs/2106.00664 (2021) - [i4]Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying Verified Code. CoRR abs/2107.00723 (2021)
2010 – 2019
- 2019
- [j5]Bo-Yuan Huang
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. ACM Trans. Design Autom. Electr. Syst. 24(1): 10:1-10:24 (2019) - [c18]Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514 - [c17]Ron Shemer, Arie Gurfinkel
Property Directed Self Composition. CAV (1) 2019: 161-179 - [c16]Hari Govind Vediramana Krishnan
Interpolating Strong Induction. CAV (2) 2019: 367-385 - [i3]Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel:
Property Directed Self Composition. CoRR abs/1905.07705 (2019) - [i2]Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel:
Interpolating Strong Induction. CoRR abs/1906.01583 (2019) - 2018
- [j4]Pramod Subramanyan
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(8): 1692-1705 (2018) - [c15]Arie Gurfinkel
Quantifiers on Demand. ATVA 2018: 248-266 - [c14]Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik:
Lazy Self-composition for Security Verification. CAV (2) 2018: 136-156 - [i1]Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik:
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. CoRR abs/1801.01114 (2018) - 2017
- [j3]Pareesa Ameneh Golnari, Yavuz Yetim, Margaret Martonosi, Yakir Vizel, Sharad Malik
PPU: A Control Error-Tolerant Processor for Streaming Applications with Formal Guarantees. ACM J. Emerg. Technol. Comput. Syst. 13(3): 43:1-43:29 (2017) - [c13]Yakir Vizel, Alexander Nadel
Solving linear arithmetic with SAT-based model checking. FMCAD 2017: 47-54 - [c12]Yakir Vizel, Alexander Nadel, Sharad Malik
Solving Constraints over Bit-Vectors with SAT-based Model Checking. SMT 2017: 101-107 - [c11]Yakir Vizel, Arie Gurfinkel
IC3 - Flipping the E in ICE. VMCAI 2017: 521-538 - 2015
- [j2]Yakir Vizel, Alexander Nadel
Efficient generation of small interpolants in CNF. Formal Methods Syst. Des. 47(1): 51-74 (2015) - [j1]Yakir Vizel, Georg Weissenbacher
Boolean Satisfiability Solvers and Their Applications in Model Checking. Proc. IEEE 103(11): 2021-2035 (2015) - [c10]Yakir Vizel, Arie Gurfinkel
Fast Interpolating BMC. CAV (1) 2015: 641-657 - [c9]Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. FMCAD 2015: 160-167 - [c8]Ameneh Golnari, Yakir Vizel, Sharad Malik
Error-Tolerant Processors: Formal Specification and Verification. ICCAD 2015: 286-293 - 2014
- [b1]Yakir Vizel:
SAT-based model checking using interpolation and IC3. Technion - Israel Institute of Technology, Israel, 2014 - [c7]Yakir Vizel, Arie Gurfinkel
Interpolating Property Directed Reachability. CAV 2014: 260-276 - [c6]Arie Gurfinkel
DRUPing for interpolates. FMCAD 2014: 99-106 - [p1]Orna Grumberg, Sharon Shoham
SAT-based Model Checking: Interpolation, IC3, and Beyond. Software Systems Safety 2014: 17-41 - 2013
- [c5]Yakir Vizel, Vadim Ryvchin, Alexander Nadel
Efficient Generation of Small Interpolants in CNF. CAV 2013: 330-346 - [c4]Yakir Vizel, Orna Grumberg, Sharon Shoham
Intertwined Forward-Backward Reachability Analysis Using Interpolants. TACAS 2013: 308-323 - 2012
- [c3]Yakir Vizel, Orna Grumberg, Sharon Shoham:
Lazy abstraction and SAT-based reachability in hardware model checking. FMCAD 2012: 173-181
2000 – 2009
- 2009
- [c2]Yakir Vizel, Orna Grumberg:
Interpolation-sequence based model checking. FMCAD 2009: 1-8 - 2007
- [c1]Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar:
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: