Follow
Sarai Sheinvald
Sarai Sheinvald
Verified email at braude.ac.il
Title
Cited by
Cited by
Year
Variable automata over infinite alphabets
O Grumberg, O Kupferman, S Sheinvald
Language and Automata Theory and Applications: 4th International Conference …, 2010
962010
A framework for inherent vacuity
D Fisman, O Kupferman, S Sheinvald-Faragy, MY Vardi
Hardware and Software: Verification and Testing: 4th International Haifa …, 2009
602009
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
212006
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
192021
Model checking systems and specifications with parameterized atomic propositions
O Grumberg, O Kupferman, S Sheinvald
International Symposium on Automated Technology for Verification and …, 2012
192012
Assume, guarantee or repair
H Frenkel, O Grumberg, C Pasareanu, S Sheinvald
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
132020
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
132013
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
82022
Compositional model checking for multi-properties
O Goudsmid, O Grumberg, S Sheinvald
International Conference on Verification, Model Checking, and Abstract …, 2021
82021
Finite-word hyperlanguages
B Bonakdarpour, S Sheinvald
Information and Computation 295, 104944, 2023
62023
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
62019
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
52014
Learning deterministic variable automata over infinite alphabets
S Sheinvald
International Symposium on Formal Methods, 633-650, 2019
42019
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
42017
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
32021
{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
22022
Automata for hyperlanguages
B Bonakdarpour, S Sheinvald
arXiv preprint arXiv:2002.09877, 2020
22020
Capacitated automata and systems
O Kupferman, S Sheinvald
Information and Computation 269, 104451, 2019
22019
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
12023
Automated Program Repair Using Formal Verification Techniques
H Frenkel, O Grumberg, BC Rothenberg, S Sheinvald
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20