Yakir Vizel
Technion – Israel Institute of Technology(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Radiation Effects in Electronics, Logic, programming, and type systems, Security and Verification in Computing
Most-Cited Works
- → Boolean Satisfiability Solvers and Their Applications in Model Checking(2015)113 cited
- → Interpolation-sequence based model checking(2009)60 cited
- → Interpolating Property Directed Reachability(2014)60 cited
- → Instruction-Level Abstraction (ILA)(2018)40 cited
- → Quantifiers on Demand(2018)35 cited
- Lazy abstraction and SAT-based reachability in hardware model checking(2012)
- → Template-based synthesis of instruction-level abstractions for SoC verification(2015)32 cited
- → Intertwined Forward-Backward Reachability Analysis Using Interpolants(2013)23 cited
- → Interpolating Strong Induction(2019)22 cited
- → Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification(2017)21 cited