On Online Learning of Decision Lists. - Ziv Nevo; Ran El-Yaniv (J. Mach. Learn. Res., 2002)

Distributed dynamic BDD reordering. - Ziv Nevo; Monica Farkash (DAC, 2006)

User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. - Ziv Nevo (Haifa Verification Conference, 2008)

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. - Flavio M. de Paula; Amir Nahir; Ziv Nevo; Avigail Orni; Alan J. Hu (DAC, 2011)

Incremental formal verification of hardware. - Hana Chockler; Alexander Ivrii; Arie Matsliah; Shiri Moran; Ziv Nevo (FMCAD, 2011)

Generalized counterexamples to liveness properties. - Gadi Aleksandrowicz; Jason Baumgartner; Alexander Ivrii; Ziv Nevo (FMCAD, 2013)

Designer-level verification: an industrial experience story. - Stephen Bergman; Gabor Bobok; Walter Kowalski; Shlomit Koyfman; Shiri Moran; Ziv Nevo; Avigail Orni; Viresh Paruthi; Wolfgang Roesner; Gil Shurek; Vasantha Vuyyuru (DATE, 2015)

Cost-effective analysis of post-silicon functional coverage events. - Farimah Farahmandi; Ronny Morad; Avi Ziv; Ziv Nevo; Prabhat Mishra 001 (DATE, 2017)

k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. - Alexander Ivrii; Ziv Nevo; Jason Baumgartner (FMCAD, 2018)

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. - Raviv Gal; Haim Kermany; Alexander Ivrii; Ziv Nevo; Avi Ziv (DAC, 2020)

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. - Raviv Gal; Eldad Haber; Wesam Ibraheem; Brian Irwin; Ziv Nevo; Avi Ziv (DATE, 2021)