Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. - Orna Kupferman; Sarai Sheinvald-Faragy (CONCUR, 2006)

A Framework for Inherent Vacuity. - Dana Fisman; Orna Kupferman; Sarai Sheinvald-Faragy; Moshe Y. Vardi (Haifa Verification Conference, 2008)

Variable Automata over Infinite Alphabets. - Orna Grumberg; Orna Kupferman; Sarai Sheinvald (LATA, 2010)

Model Checking Systems and Specifications with Parameterized Atomic Propositions. - Orna Grumberg; Orna Kupferman; Sarai Sheinvald (ATVA, 2012)

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. - Orna Grumberg; Orna Kupferman; Sarai Sheinvald (ATVA, 2013)

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. - Orna Grumberg; Orna Kupferman; Sarai Sheinvald (ATVA, 2014)

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

On the Capacity of Capacitated Automata. - Orna Kupferman; Sarai Sheinvald (LATA, 2016)

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. - Hadar Frenkel; Orna Grumberg; Sarai Sheinvald (NFM, 2017)

Learning Deterministic Variable Automata over Infinite Alphabets. - Sarai Sheinvald (FM, 2019)

Capacitated automata and systems. - Orna Kupferman; Sarai Sheinvald (Inf. Comput., 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)

GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage. - Aviv Nachman; Gala Yadgar; Sarai Sheinvald (FAST, 2020)

Assume, Guarantee or Repair. - Hadar Frenkel; Orna Grumberg; Corina S. Pasareanu; Sarai Sheinvald (TACAS (1), 2020)

Automata for Hyperlanguages. - Borzoo Bonakdarpour; Sarai Sheinvald (CoRR, 2020)

Compositional Model Checking for Multi-properties. - Ohad Goudsmid; Orna Grumberg; Sarai Sheinvald (VMCAI, 2021)

GoSeed: Optimal Seeding Plan for Deduplicated Storage. - Aviv Nachman; Sarai Sheinvald; Ariel Kolikant; Gala Yadgar (ACM Trans. Storage, 2021)

Automated Program Repair Using Formal Verification Techniques. - Hadar Frenkel; Orna Grumberg; Bat-Chen Rothenberg; Sarai Sheinvald (Principles of Systems Design, 2022)

DedupSearch: Two-Phase Deduplication Aware Keyword Search. - Nadav Elias; Philip Shilane; Sarai Sheinvald; Gala Yadgar (FAST, 2022)

The what, The from, and The to: The Migration Games in Deduplicated Systems. - Roei Kisous; Ariel Kolikant; Abhinav Duggal; Sarai Sheinvald; Gala Yadgar (FAST, 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)

Realizable and Context-Free Hyperlanguages. - Hadar Frenkel; Sarai Sheinvald (GandALF, 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)

The what, The from, and The to: The Migration Games in Deduplicated Systems. - Roei Kisous; Ariel Kolikant; Abhinav Duggal; Sarai Sheinvald; Gala Yadgar (ACM Trans. Storage, 2022)

Efficient Loop Conditions for Bounded Model Checking Hyperproperties. - Tzu-Han Hsu; César Sánchez 001; Sarai Sheinvald; Borzoo Bonakdarpour (TACAS (1), 2023)

Finite-word hyperlanguages. - Borzoo Bonakdarpour; Sarai Sheinvald (Inf. Comput., 2023)

Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. - Asaf Levi; Philip Shilane; Sarai Sheinvald; Gala Yadgar (FAST, 2024)

Determinization of Min-Plus Weighted Automata is Decidable. - Shaull Almagor; Guy Arbel; Sarai Sheinvald (CoRR, 2025)