Sarai Sheinvald

According to our database, Sarai Sheinvald authored at least 27 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index.

Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar

Proceedings of the 22nd USENIX Conference on File and Storage Technologies, 2024

2023

Finite-word hyperlanguages.

Borzoo Bonakdarpour, Sarai Sheinvald

Inf. Comput., December, 2023

Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

The <i>what</i>, The <i>from</i>, and The <i>to</i>: The Migration Games in Deduplicated Systems.

Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar

ACM Trans. Storage, 2022

Assume, guarantee or repair: a regular framework for non regular properties.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Int. J. Softw. Tools Technol. Transf., 2022

Realizable and Context-Free Hyperlanguages.

Hadar Frenkel, Sarai Sheinvald

Proceedings of the 13th International Symposium on Games, 2022

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

CoRR, 2022

The what, The from, and The to: The Migration Games in Deduplicated Systems.

Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar

Proceedings of the 20th USENIX Conference on File and Storage Technologies, 2022

DedupSearch: Two-Phase Deduplication Aware Keyword Search.

Nadav Elias, Philip Shilane, Sarai Sheinvald, Gala Yadgar

Proceedings of the 20th USENIX Conference on File and Storage Technologies, 2022

Automated Program Repair Using Formal Verification Techniques.

Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald

Proceedings of the Principles of Systems Design, 2022

2021

GoSeed: Optimal Seeding Plan for Deduplicated Storage.

Aviv Nachman, Sarai Sheinvald, Ariel Kolikant, Gala Yadgar

ACM Trans. Storage, 2021

Compositional Model Checking for Multi-properties.

Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Automata for Hyperlanguages.

Borzoo Bonakdarpour, Sarai Sheinvald

CoRR, 2020

Assume, Guarantee or Repair.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage.

Aviv Nachman, Gala Yadgar, Sarai Sheinvald

Proceedings of the 18th USENIX Conference on File and Storage Technologies, 2020

2019

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.

Hadar Frenkel, Orna Grumberg, Sarai Sheinvald

J. Autom. Reason., 2019

Capacitated automata and systems.

Orna Kupferman, Sarai Sheinvald

Inf. Comput., 2019

Learning Deterministic Variable Automata over Infinite Alphabets.

Sarai Sheinvald

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.

Hadar Frenkel, Orna Grumberg, Sarai Sheinvald

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

On the Capacity of Capacitated Automata.

Orna Kupferman, Sarai Sheinvald

Proceedings of the Language and Automata Theory and Applications, 2016

2014

Variable automata: theory and applications in the verification of data-parameterized systems (שער נוסף: אוטומטי משתנים : תאוריה ושימושים באימות של מערכות עם נתונים).

Sarai Sheinvald

PhD thesis, 2014

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Model Checking Systems and Specifications with Parameterized Atomic Propositions.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Proceedings of the Automated Technology for Verification and Analysis, 2012

2010

Variable Automata over Infinite Alphabets.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Proceedings of the Language and Automata Theory and Applications, 2010

2008

A Framework for Inherent Vacuity.

Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2008

2006

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words.

Orna Kupferman, Sarai Sheinvald-Faragy

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006