| Boolean satisfiability solvers and their applications in model checking Y Vizel, G Weissenbacher, S Malik Proceedings of the IEEE 103 (11), 2021-2035, 2015 | 106 | 2015 |
| Interpolation-sequence based model checking Y Vizel, O Grumberg 2009 Formal Methods in Computer-Aided Design, 1-8, 2009 | 67 | 2009 |
| 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 | 46 | 2012 |
| Interpolating property directed reachability Y Vizel, A Gurfinkel International Conference on Computer Aided Verification, 260-276, 2014 | 43 | 2014 |
| 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 | 35 | 2018 |
| 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 | 34 | 2015 |
| Property directed self composition R Shemer, A Gurfinkel, S Shoham, Y Vizel International Conference on Computer Aided Verification, 161-179, 2019 | 29 | 2019 |
| Quantifiers on demand A Gurfinkel, S Shoham, Y Vizel International Symposium on Automated Technology for Verification and …, 2018 | 27 | 2018 |
| Lazy self-composition for security verification W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik International Conference on Computer Aided Verification, 136-156, 2018 | 21 | 2018 |
| Efficient generation of small interpolants in CNF Y Vizel, A Nadel, V Ryvchin Formal Methods in System Design 47 (1), 51-74, 2015 | 20 | 2015 |
| Intertwined forward-backward reachability analysis using interpolants Y Vizel, O Grumberg, S Shoham International Conference on Tools and Algorithms for the Construction and …, 2013 | 20 | 2013 |
| 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 | 17 | 2017 |
| Druping for interpolates A Gurfinkel, Y Vizel 2014 Formal Methods in Computer-Aided Design (FMCAD), 99-106, 2014 | 16 | 2014 |
| Fast interpolating BMC Y Vizel, A Gurfinkel, S Malik International Conference on Computer Aided Verification, 641-657, 2015 | 13 | 2015 |
| Interpolating strong induction HG Vediramana Krishnan, Y Vizel, V Ganesh, A Gurfinkel International Conference on Computer Aided Verification, 367-385, 2019 | 11 | 2019 |
| Solving linear arithmetic with SAT-based model checking Y Vizel, A Nadel, S Malik 2017 Formal Methods in Computer Aided Design (FMCAD), 47-54, 2017 | 9 | 2017 |
| IC3-flipping the E in ICE Y Vizel, A Gurfinkel, S Shoham, S Malik International Conference on Verification, Model Checking, and Abstract …, 2017 | 7 | 2017 |
| 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 | 7 | 2015 |
| Deeper bound in BMC by combining constant propagation and abstraction R Armoni, L Fix, R Fraer, T Heyman, M Vardi, Y Vizel, Y Zbar 2007 Asia and South Pacific Design Automation Conference, 304-309, 2007 | 7 | 2007 |
| Efficient information-flow verification under speculative execution R Bloem, S Jacobs, Y Vizel International Symposium on Automated Technology for Verification and …, 2019 | 4 | 2019 |
