| Boolean satisfiability solvers and their applications in model checking Y Vizel, G Weissenbacher, S Malik Proceedings of the IEEE 103 (11), 2021-2035, 2015 | 165 | 2015 |
| Interpolation-sequence based model checking Y Vizel, O Grumberg 2009 Formal Methods in Computer-Aided Design, 1-8, 2009 | 88 | 2009 |
| Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verification BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018 | 78 | 2018 |
| Interpolating property directed reachability Y Vizel, A Gurfinkel International Conference on Computer Aided Verification, 260-276, 2014 | 70 | 2014 |
| Property directed self composition R Shemer, A Gurfinkel, S Shoham, Y Vizel Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 57 | 2019 |
| Quantifiers on demand A Gurfinkel, S Shoham, Y Vizel Automated Technology for Verification and Analysis: 16th International …, 2018 | 51 | 2018 |
| Lazy abstraction and sat-based reachability in hardware model checking Y Vizel, O Grumberg, S Shoham 2012 Formal Methods in Computer-Aided Design (FMCAD), 173-181, 2012 | 50 | 2012 |
| Template-based synthesis of instruction-level abstractions for SoC verification P Subramanyan, Y Vizel, S Ray, S Malik 2015 Formal Methods in Computer-Aided Design (FMCAD), 160-167, 2015 | 44 | 2015 |
| Lazy self-composition for security verification W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 31 | 2018 |
| Intertwined forward-backward reachability analysis using interpolants Y Vizel, O Grumberg, S Shoham Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 29 | 2013 |
| DRUPing for interpolates A Gurfinkel, Y Vizel 2014 Formal Methods in Computer-Aided Design (FMCAD), 99-106, 2014 | 27 | 2014 |
| Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017 | 25 | 2017 |
| Efficient generation of small interpolants in CNF Y Vizel, A Nadel, V Ryvchin Formal Methods in System Design 47, 51-74, 2015 | 25 | 2015 |
| Interpolating strong induction HG Vediramana Krishnan, Y Vizel, V Ganesh, A Gurfinkel Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 24 | 2019 |
| Fast interpolating BMC Y Vizel, A Gurfinkel, S Malik Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 18 | 2015 |
| IC3-flipping the E in ICE Y Vizel, A Gurfinkel, S Shoham, S Malik Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 14 | 2017 |
| Verifying verified code S Priya, X Zhou, Y Su, Y Vizel, Y Bao, A Gurfinkel Innovations in Systems and Software Engineering 18 (3), 335-346, 2022 | 12 | 2022 |
| IC3 with internal signals R Dureja, A Gurfinkel, A Ivrii, Y Vizel 2021 Formal Methods in Computer Aided Design (FMCAD), 63-71, 2021 | 11 | 2021 |
| Efficient information-flow verification under speculative execution R Bloem, S Jacobs, Y Vizel Automated Technology for Verification and Analysis: 17th International …, 2019 | 11 | 2019 |
| Error-tolerant processors: Formal specification and verification A Golnari, Y Vizel, S Malik 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 286-293, 2015 | 11 | 2015 |
