Get started
Author

Sarai Sheinvald

Observed names: Sarai Sheinvald-Faragy, Sarai Sheinvald-faragy, Sheinvald, Sarai
ORCID: 0000-0002-0524-7390
Observed ORCID: 0000-0002-0524-7390
OpenAlex ID: A5000600007
Variable Automata over Infinite Alphabets
2010 · Orna Grumberg, Orna Kupferman, et al. · Lecture notes in computer science · 73
A Framework for Inherent Vacuity
2009 · Dana Fisman, Orna Kupferman, et al. · Lecture notes in computer science · 47
Model Checking Systems and Specifications with Parameterized Atomic Propositions
2012 · Orna Grumberg, Orna Kupferman, et al. · Lecture notes in computer science · 15
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
2006 · Orna Kupferman, Sarai Sheinvald-Faragy · Lecture notes in computer science · 14
The what , The from , and The to : The Migration Games in Deduplicated Systems
2022 · Roei Kisous, Ariel Kolikant, et al. · ACM Transactions on Storage · 12
PDF
Assume, Guarantee or Repair
2020 · Hadar Frenkel, Orna Grumberg, et al. · Lecture notes in computer science · 12
PDF
Compositional Model Checking for Multi-properties
2021 · Ohad Goudsmid, Orna Grumberg, et al. · Lecture notes in computer science · 10
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications
2013 · Orna Grumberg, Orna Kupferman, et al. · Lecture notes in computer science · 9
GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage
2020 · Aviv Nachman, Gala Yadgar, et al. · File and Storage Technologies · 8
GoSeed: Optimal Seeding Plan for Deduplicated Storage
2021 · Aviv Nachman, Sarai Sheinvald, et al. · ACM Transactions on Storage · 7
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
2018 · Hadar Frenkel, Orna Grumberg, et al. · Journal of Automated Reasoning · 7
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
2023 · Tzu-Han Hsu, César Sánchez, et al. · Lecture notes in computer science · 6
PDF
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
2017 · Hadar Frenkel, Orna Grumberg, et al. · Lecture notes in computer science · 6
Learning Deterministic Variable Automata over Infinite Alphabets
2019 · Sarai Sheinvald · Lecture notes in computer science · 5
Finite-Word Hyperlanguages
2021 · Borzoo Bonakdarpour, Sarai Sheinvald · Lecture notes in computer science · 4
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems
2014 · Orna Grumberg, Orna Kupferman, et al. · Lecture notes in computer science · 4
Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index
2025 · Asaf Levi, Philip Shilane, et al. · ACM Transactions on Storage · 3
PDF
Finite-word hyperlanguages
2022 · Borzoo Bonakdarpour, Sarai Sheinvald · Information and Computation · 3
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
2008 · Orna Kupferman, Sarai Sheinvald-faragy · 3
Assume, guarantee or repair: a regular framework for non regular properties
2022 · Hadar Frenkel, Orna Grumberg, et al. · International Journal on Software Tools for Technology Transfer · 2
PDF
Realizable and Context-Free Hyperlanguages
2022 · Hadar Frenkel, Sarai Sheinvald · Electronic Proceedings in Theoretical Computer Science · 2
PDF
Capacitated automata and systems
2019 · Orna Kupferman, Sarai Sheinvald · Information and Computation · 2
PDF
Determinization of Min-Plus Weighted Automata is Decidable
2026 · Shaull Almagor, Guy Arbel, et al. · Society for Industrial and Applied Mathematics eBooks · 1
PDF
Assume, Guarantee or Repair -- A Regular Framework for Non Regular Properties (full version)
2022 · Frenkel, Hadar, Grumberg, Orna, et al. · arXiv (Cornell University) · 1
PDF
Automated Program Repair Using Formal Verification Techniques
2022 · Hadar Frenkel, Orna Grumberg, et al. · Lecture notes in computer science · 1
Works count: 34
Citation count: 257
H-index: 8
I10-index: 7
Year
Topic
Type