| Variable automata over infinite alphabets O Grumberg, O Kupferman, S Sheinvald Language and Automata Theory and Applications: 4th International Conference …, 2010 | 99 | 2010 |
| A framework for inherent vacuity D Fisman, O Kupferman, S Sheinvald-Faragy, MY Vardi Hardware and Software: Verification and Testing: 4th International Haifa …, 2009 | 61 | 2009 |
| GoSeed: Optimal seeding plan for deduplicated storage A Nachman, S Sheinvald, A Kolikant, G Yadgar ACM Transactions on Storage (TOS) 17 (3), 1-28, 2021 | 26 | 2021 |
| Model checking systems and specifications with parameterized atomic propositions O Grumberg, O Kupferman, S Sheinvald International Symposium on Automated Technology for Verification and …, 2012 | 21 | 2012 |
| Finding shortest witnesses to the nonemptiness of automata on infinite words O Kupferman, S Sheinvald-Faragy CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 21 | 2006 |
| Finite-word hyperlanguages B Bonakdarpour, S Sheinvald Information and Computation 295, 104944, 2023 | 17 | 2023 |
| An automata-theoretic approach to reasoning about parameterized systems and specifications O Grumberg, O Kupferman, S Sheinvald Automated Technology for Verification and Analysis: 11th International …, 2013 | 15 | 2013 |
| The what, The from, and The to: The Migration Games in Deduplicated Systems R Kisous, A Kolikant, A Duggal, S Sheinvald, G Yadgar ACM Transactions on Storage 18 (4), 1-29, 2022 | 14 | 2022 |
| Assume, guarantee or repair H Frenkel, O Grumberg, C Pasareanu, S Sheinvald Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 14 | 2020 |
| Automata for hyperlanguages B Bonakdarpour, S Sheinvald arXiv preprint arXiv:2002.09877, 2020 | 10 | 2020 |
| Realizable and context-free hyperlanguages H Frenkel, S Sheinvald arXiv preprint arXiv:2209.10306, 2022 | 8 | 2022 |
| Compositional model checking for multi-properties O Goudsmid, O Grumberg, S Sheinvald International Conference on Verification, Model Checking, and Abstract …, 2021 | 8 | 2021 |
| An automata-theoretic approach to model-checking systems and specifications over infinite data domains H Frenkel, O Grumberg, S Sheinvald Journal of Automated Reasoning 63, 1077-1101, 2019 | 6 | 2019 |
| A game-theoretic approach to simulation of data-parameterized systems O Grumberg, O Kupferman, S Sheinvald International Symposium on Automated Technology for Verification and …, 2014 | 5 | 2014 |
| Learning deterministic variable automata over infinite alphabets S Sheinvald International Symposium on Formal Methods, 633-650, 2019 | 4 | 2019 |
| An automata-theoretic approach to modeling systems and specifications over infinite data H Frenkel, O Grumberg, S Sheinvald NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 4 | 2017 |
| {DedupSearch}:{Two-Phase} Deduplication Aware Keyword Search N Elias, P Shilane, S Sheinvald, G Yadgar 20th USENIX Conference on File and Storage Technologies (FAST 22), 233-246, 2022 | 3 | 2022 |
| Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair. H Frenkel, O Grumberg, S Sheinvald Technion-Israel Institute of Technology, Israel, 2021 | 3 | 2021 |
| Efficient loop conditions for bounded model checking hyperproperties TH Hsu, C Sánchez, S Sheinvald, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2023 | 2 | 2023 |
| Capacitated automata and systems O Kupferman, S Sheinvald Information and Computation 269, 104451, 2019 | 2 | 2019 |
