Ziv Nevo

15 papers A* 3A 3B 4Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Resolving Java Code Repository Issues with iSWE Agent.
CoRR
Jatin Ganhotra, Sami Serhan, Antonio Abu Nassar, Avraham Shinnar, Ziv Nevo, Martin Hirzel
2025 B conf
ClusterLink: Redefining Application Connectivity for the Multi-cloud Era.
CLOUD
Kfir Toledo, Pravein Govindan Kannan, Michal Malka, Etai Lev-Ran, Or Ozeri, Vita Bortnikov, Ziv Nevo, Kathy Barabash
2025 — conf
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding.
ASEW
Ziv Nevo, Orna Raz, Karen Yorav
2025 J jnl
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding.
CoRR
Ziv Nevo, Orna Raz, Karen Yorav
2021 A conf
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.
DATE
Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv
2020 A* conf
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.
DAC
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
2018 B conf
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms.
FMCAD
Alexander Ivrii, Ziv Nevo, Jason Baumgartner
2017 A conf
Cost-effective analysis of post-silicon functional coverage events.
DATE
Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
2015 A conf
Designer-level verification: an industrial experience story.
DATE
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
2013 B conf
Generalized counterexamples to liveness properties.
FMCAD
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
2011 B conf
Incremental formal verification of hardware.
FMCAD
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
2011 A* conf
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead.
DAC
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
2008 — conf
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.
Haifa Verification Conference
Ziv Nevo
2006 A* conf
Distributed dynamic BDD reordering.
DAC
Ziv Nevo, Monica Farkash
2002 J jnl
On Online Learning of Decision Lists.
J. Mach. Learn. Res.
Ziv Nevo, Ran El-Yaniv