Sarai Sheinvald

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 23

Top Topics

Formal Verification

Text Retrieval Systems

Top Venues

ACM Trans. Storage

Publications

Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar
Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. FAST (2024)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR (2023)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) (2023)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-word hyperlanguages. Inf. Comput. 295 (Part B) (2023)
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design (2022)
Hadar Frenkel, Sarai Sheinvald
Realizable and Context-Free Hyperlanguages. GandALF (2022)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR (2022)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar
The what, The from, and The to: The Migration Games in Deduplicated Systems. FAST (2022)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-Word Hyperlanguages. CoRR (2022)
Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar
: The Migration Games in Deduplicated Systems. ACM Trans. Storage 18 (4) (2022)
Nadav Elias, Philip Shilane, Sarai Sheinvald, Gala Yadgar
DedupSearch: Two-Phase Deduplication Aware Keyword Search. FAST (2022)
Aviv Nachman, Sarai Sheinvald, Ariel Kolikant, Gala Yadgar
GoSeed: Optimal Seeding Plan for Deduplicated Storage. ACM Trans. Storage 17 (3) (2021)
Borzoo Bonakdarpour, Sarai Sheinvald
Finite-Word Hyperlanguages. LATA (2021)
Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald
Compositional Model Checking for Multi-properties. VMCAI (2021)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
Assume, Guarantee or Repair. TACAS (1) (2020)
Aviv Nachman, Gala Yadgar, Sarai Sheinvald
GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage. FAST (2020)
Borzoo Bonakdarpour, Sarai Sheinvald
Automata for Hyperlanguages. CoRR (2020)
Orna Kupferman, Sarai Sheinvald
Capacitated automata and systems. Inf. Comput. 269 (2019)
Sarai Sheinvald
Learning Deterministic Variable Automata over Infinite Alphabets. FM (2019)
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. J. Autom. Reason. 63 (4) (2019)
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. NFM (2017)
Orna Kupferman, Sarai Sheinvald
On the Capacity of Capacitated Automata. LATA (2016)
Orna Grumberg, Orna Kupferman, Sarai Sheinvald
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. ATVA (2014)
Orna Grumberg, Orna Kupferman, Sarai Sheinvald
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ATVA (2013)
Orna Grumberg, Orna Kupferman, Sarai Sheinvald
Model Checking Systems and Specifications with Parameterized Atomic Propositions. ATVA (2012)
Orna Grumberg, Orna Kupferman, Sarai Sheinvald
Variable Automata over Infinite Alphabets. LATA (2010)