| 2026 | ICALP | Unambiguisability and Register Minimisation of Min-Plus Models. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2026 | LICS | A Complexity Bound for Determinisation of Min-Plus Weighted Automata. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2026 | SODA | Determinization of Min-Plus Weighted Automata is Decidable. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2024 | FAST | Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. | Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar |
| 2023 | TACAS | Efficient Loop Conditions for Bounded Model Checking Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Sarai Sheinvald, Borzoo Bonakdarpour |
| 2022 | FAST | DedupSearch: Two-Phase Deduplication Aware Keyword Search. | Nadav Elias, Philip Shilane, Sarai Sheinvald, Gala Yadgar |
| 2022 | FAST | The what, The from, and The to: The Migration Games in Deduplicated Systems. | Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar |
| 2021 | LATA | Finite-Word Hyperlanguages. | Borzoo Bonakdarpour, Sarai Sheinvald |
| 2021 | VMCAI | Compositional Model Checking for Multi-properties. | Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald |
| 2020 | FAST | GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage. | Aviv Nachman, Gala Yadgar, Sarai Sheinvald |
| 2020 | TACAS | Assume, Guarantee or Repair. | Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald |
| 2019 | FM | Learning Deterministic Variable Automata over Infinite Alphabets. | Sarai Sheinvald |
| 2016 | LATA | On the Capacity of Capacitated Automata. | Orna Kupferman, Sarai Sheinvald |
| 2014 | ATVA | A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2013 | ATVA | An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2012 | ATVA | Model Checking Systems and Specifications with Parameterized Atomic Propositions. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2010 | LATA | Variable Automata over Infinite Alphabets. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |