Sarai Sheinvald
ORT Braude College
H-index: 7
Asia-Israel
Top articles of Sarai Sheinvald
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Physical vs. Logical Indexing with {IDEA}: Inverted {Deduplication-Aware} Index | Asaf Levi Philip Shilane Sarai Sheinvald Gala Yadgar | 2024 | |
Finite-word hyperlanguages | Information and Computation | Borzoo Bonakdarpour Sarai Sheinvald | 2023/12/1 |
Efficient loop conditions for bounded model checking hyperproperties | Tzu-Han Hsu César Sánchez Sarai Sheinvald Borzoo Bonakdarpour | 2023/4/22 | |
{DedupSearch}:{Two-Phase} Deduplication Aware Keyword Search | Nadav Elias Philip Shilane Sarai Sheinvald Gala Yadgar | 2022 | |
Automated Program Repair Using Formal Verification Techniques | Hadar Frenkel Orna Grumberg Bat-Chen Rothenberg Sarai Sheinvald | 2022/12/29 | |
The what, The from, and The to: The Migration Games in Deduplicated Systems | Roei Kisous Ariel Kolikant Abhinav Duggal Sarai Sheinvald Gala Yadgar | 2022 | |
Assume, guarantee or repair: a regular framework for non regular properties | International Journal on Software Tools for Technology Transfer | Hadar Frenkel Orna Grumberg Corina S Păsăreanu Sarai Sheinvald | 2022/10 |
Realizable and context-free hyperlanguages | arXiv preprint arXiv:2209.10306 | Hadar Frenkel Sarai Sheinvald | 2022/9/21 |
Assume, Guarantee or Repair--A Regular Framework for Non Regular Properties (full version) | arXiv preprint arXiv:2207.10534 | Hadar Frenkel Orna Grumberg Corina S Pasareanu Sarai Sheinvald | 2022/7/21 |
GoSeed: Optimal seeding plan for deduplicated storage | ACM Transactions on Storage (TOS) | Aviv Nachman Sarai Sheinvald Ariel Kolikant Gala Yadgar | 2021/8/16 |
Compositional model checking for multi-properties | Ohad Goudsmid Orna Grumberg Sarai Sheinvald | 2021/1/12 | |
Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair. | Hadar Frenkel Orna Grumberg Sarai Sheinvald | 2021 | |
Assume, guarantee or repair | Hadar Frenkel Orna Grumberg Corina Pasareanu Sarai Sheinvald | 2020 | |
Automata for hyperlanguages | arXiv preprint arXiv:2002.09877 | Borzoo Bonakdarpour Sarai Sheinvald | 2020/2/23 |