Concepedia

Author

Yakir Vizel

Princeton UniversityORCID

Also Known As

Shoham, Sharon, Vizel, Yakir, Yakir Vizel

47

Publications

582

Citations

14

H-Index

33

Concepts

All Affiliations

Princeton UniversityTechnion – Israel Institute of TechnologyIndian Institute of Technology Kanpur
YV

About

Yakir Vizel is an author at Princeton University specializing in program analysis, computer science, and computer engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

308

2

Computer Engineering

7

7

308

3

Computer Science

7

7

308

4

Systems Engineering

3

3

114

5

Data Science

1

1

11

Yakir Vizel

×

8

Publications

322

Citations

8

H-Index

YearCitations

Boolean Satisfiability Solvers and Their Applications in Model Checking

Yakir Vizel, Georg Weißenbacher, Sharad Malik

Proceedings of the IEEE

2015

113

Interpolation-sequence based model checking

Yakir Vizel, Orna Grümberg

2009

60

Instruction-Level Abstraction (ILA)

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan,

ACM Transactions on Design Automation of Electronic Systems

2018

38

Lazy abstraction and SAT-based reachability in hardware model checking

Yakir Vizel, Orna Grümberg, Sharon Shoham

Formal Methods in Computer-Aided Design

2012

33

Template-based synthesis of instruction-level abstractions for SoC verification

Pramod Subramanyan, Yakir Vizel, Sayak Ray,

2015

32

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification

Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel,

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2017

21

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan,

Rare & Special e-Zone (The Hong Kong University of Science and Technology)

2018

14

DRUPing for interpolates

Arie Gurfinkel, Yakir Vizel

2014

11

Page 1