default search action

combined dblp search
author search
venue search
publication search

ask others

Sarai Sheinvald

Sarai Sheinvald-Faragy

> Home > Persons

Person information

affiliation: Braude College of Engineering, Israel
affiliation (PhD 2014): Hebrew University of Jerusalem, Israel

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b1]
- view
  - electronic edition @ exlibrisgroup.com
  - details & citations
- export record
  dblp key:
  - phd/il/Sheinvald14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/il/Sheinvald14
Sarai Sheinvald:
Variable automata: theory and applications in the verification of data-parameterized systems (שער נוסף: אוטומטי משתנים : תאוריה ושימושים באימות של מערכות עם נתונים). Hebrew University of Jerusalem, Israel, 2014

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BonakdarpourS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BonakdarpourS23
Borzoo Bonakdarpour, Sarai Sheinvald:
Finite-word hyperlanguages. Inf. Comput. 295(Part A): 104944 (2023)
2022
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/FrenkelGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FrenkelGPS22
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): 667-689 (2022)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tos/KisousKDSY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tos/KisousKDSY22
Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar:
The what, The from, and The to: The Migration Games in Deduplicated Systems. ACM Trans. Storage 18(4): 31:1-31:29 (2022)
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tos/NachmanSKY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tos/NachmanSKY21
Aviv Nachman, Sarai Sheinvald, Ariel Kolikant, Gala Yadgar:
GoSeed: Optimal Seeding Plan for Deduplicated Storage. ACM Trans. Storage 17(3): 24:1-24:28 (2021)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KupfermanS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KupfermanS19
Orna Kupferman, Sarai Sheinvald:
Capacitated automata and systems. Inf. Comput. 269 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FrenkelGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FrenkelGS19
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): 1077-1101 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c19]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fast/LeviSSY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/LeviSSY24
Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar:
Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. FAST 2024: 243-258
2023
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HsuSSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HsuSSB23
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) 2023: 66-84
2022
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FrenkelGRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FrenkelGRS22
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald:
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design 2022: 511-534
[c16]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fast/EliasSSY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/EliasSSY22
Nadav Elias, Philip Shilane, Sarai Sheinvald, Gala Yadgar:
DedupSearch: Two-Phase Deduplication Aware Keyword Search. FAST 2022: 233-246
[c15]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fast/KisousKDSY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/KisousKDSY22
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: 265-280
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10306
Hadar Frenkel, Sarai Sheinvald:
Realizable and Context-Free Hyperlanguages. GandALF 2022: 114-130
2021
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/BonakdarpourS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/BonakdarpourS21
Borzoo Bonakdarpour, Sarai Sheinvald:
Finite-Word Hyperlanguages. LATA 2021: 173-186
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GoudsmidGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GoudsmidGS21
Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald:
Compositional Model Checking for Multi-properties. VMCAI 2021: 55-80
2020
[c11]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fast/NachmanYS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/NachmanYS20
Aviv Nachman, Gala Yadgar, Sarai Sheinvald:
GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage. FAST 2020: 193-207
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FrenkelGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FrenkelGPS20
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair. TACAS (1) 2020: 211-227
2019
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Sheinvald19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Sheinvald19
Sarai Sheinvald:
Learning Deterministic Variable Automata over Infinite Alphabets. FM 2019: 633-650
2017
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FrenkelGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FrenkelGS17
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald:
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. NFM 2017: 1-18
2016
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/KupfermanS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/KupfermanS16
Orna Kupferman, Sarai Sheinvald:
On the Capacity of Capacitated Automata. LATA 2016: 307-319
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GrumbergKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GrumbergKS14
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. ATVA 2014: 348-363
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GrumbergKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GrumbergKS13
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ATVA 2013: 397-411
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GrumbergKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GrumbergKS12
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Model Checking Systems and Specifications with Parameterized Atomic Propositions. ATVA 2012: 122-136
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/GrumbergKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/GrumbergKS10
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Variable Automata over Infinite Alphabets. LATA 2010: 561-572
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/FismanKSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/FismanKSV08
Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi:
A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupfermanS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupfermanS06
Orna Kupferman, Sarai Sheinvald-Faragy:
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. CONCUR 2006: 492-508

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-23826
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-23826
Shaull Almagor, Guy Arbel, Sarai Sheinvald:
Determinization of Min-Plus Weighted Automata is Decidable. CoRR abs/2503.23826 (2025)
2023
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-06209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-06209
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023)
2022
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-01670
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-01670
Borzoo Bonakdarpour, Sarai Sheinvald:
Finite-Word Hyperlanguages. CoRR abs/2201.01670 (2022)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-10534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-10534
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR abs/2207.10534 (2022)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-09877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-09877
Borzoo Bonakdarpour, Sarai Sheinvald:
Automata for Hyperlanguages. CoRR abs/2002.09877 (2020)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.