Alexander Ivrii
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
6
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMCAD | IC3 with Internal Signals. | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
| 2021 | FMCAD | Exploiting Isomorphic Subgraphs in SAT. | Alexander Ivrii, Ofer Strichman |
| 2020 | DAC | Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. | Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv |
| 2019 | FMCAD | Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
| 2019 | FMCAD | Input Elimination Transformations for Scalable Verification and Trace Reconstruction. | Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh |
| 2018 | FMCAD | k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. | Alexander Ivrii, Ziv Nevo, Jason Baumgartner |
| 2018 | SAT | Finding All Minimal Safe Inductive Sets. | Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris |
| 2017 | FMCAD | Learning support sets in IC3 and Quip: The good, the bad, and the ugly. | Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris |
| 2017 | FMCAD | K-induction without unrolling. | Arie Gurfinkel, Alexander Ivrii |
| 2016 | AAAI | Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. | Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| 2016 | ICCAD | The art of semi-formal bug hunting. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii |
| 2015 | FMCAD | Pushing to the Top. | Arie Gurfinkel, Alexander Ivrii |
| 2015 | SAT | Speeding up MUS Extraction with Preprocessing and Chunking. | Valeriy Balabanov, Alexander Ivrii |
| 2015 | SAT | Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. | Alexander Ivrii, Vadim Ryvchin, Ofer Strichman |
| 2014 | AAAI | The Computational Complexity of Structure-Based Causality. | Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii |
| 2014 | FMCAD | Small inductive safe invariants. | Alexander Ivrii, Arie Gurfinkel, Anton Belov |
| 2013 | FMCAD | Generalized counterexamples to liveness properties. | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
| 2013 | SAC | Using cross-entropy for satisfiability. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina |
| 2012 | FMCAD | IC3-guided abstraction. | Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony |
| 2012 | SAT | On Efficient Computation of Variable MUSes. | Anton Belov, Alexander Ivrii, Arie Matsliah, Joo Marques-Silva |
| 2012 | SAT | Perfect Hashing and CNF Encodings of Cardinality Constraints. | Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah |
| 2011 | FMCAD | Incremental formal verification of hardware. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo |