Sarai Sheinvald

34 papers A* 1A 4B 5C 3Journal 15Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Complexity Bound for Determinisation of Min-Plus Weighted Automata. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2026	A*	`conf`	Determinization of Min-Plus Weighted Automata is Decidable. SODA Shaull Almagor, Guy Arbel, Sarai Sheinvald
2025	J	`jnl`	Determinization of Min-Plus Weighted Automata is Decidable. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2025	J	`jnl`	Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. ACM Trans. Storage Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar
2025	J	`jnl`	Unambiguisability and Register Minimisation of Min-Plus Models. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2025	J	`jnl`	Variable automata over infinite alphabets. Formal Methods Syst. Des. Orna Grumberg, Orna Kupferman, Sarai Sheinvald
2024	A	`conf`	Physical vs. Logical Indexing with IDEA: Inverted Deduplication-Aware Index. FAST Asaf Levi, Philip Shilane, Sarai Sheinvald, Gala Yadgar
2023	—	`conf`	Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023	J	`jnl`	Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023	J	`jnl`	Finite-word hyperlanguages. Inf. Comput. Borzoo Bonakdarpour, Sarai Sheinvald
2022	J	`jnl`	Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022	J	`jnl`	Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022	—	`conf`	Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
2022	A	`conf`	DedupSearch: Two-Phase Deduplication Aware Keyword Search. FAST Nadav Elias, Philip Shilane, Sarai Sheinvald, Gala Yadgar
2022	J	`jnl`	Finite-Word Hyperlanguages. CoRR Borzoo Bonakdarpour, Sarai Sheinvald
2022	—	`conf`	Realizable and Context-Free Hyperlanguages. GandALF Hadar Frenkel, Sarai Sheinvald
2022	J	`jnl`	The ACM Trans. Storage Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar
2022	A	`conf`	The what, The from, and The to: The Migration Games in Deduplicated Systems. FAST Roei Kisous, Ariel Kolikant, Abhinav Duggal, Sarai Sheinvald, Gala Yadgar
2021	B	`conf`	Compositional Model Checking for Multi-properties. VMCAI Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald
2021	C	`conf`	Finite-Word Hyperlanguages. LATA Borzoo Bonakdarpour, Sarai Sheinvald
2021	J	`jnl`	GoSeed: Optimal Seeding Plan for Deduplicated Storage. ACM Trans. Storage Aviv Nachman, Sarai Sheinvald, Ariel Kolikant, Gala Yadgar
2020	—	`conf`	Assume, Guarantee or Repair. TACAS (1) Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2020	J	`jnl`	Automata for Hyperlanguages. CoRR Borzoo Bonakdarpour, Sarai Sheinvald
2020	A	`conf`	GoSeed: Generating an Optimal Seeding Plan for Deduplicated Storage. FAST Aviv Nachman, Gala Yadgar, Sarai Sheinvald
2019	J	`jnl`	An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. J. Autom. Reason. Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
2019	J	`jnl`	Capacitated automata and systems. Inf. Comput. Orna Kupferman, Sarai Sheinvald
2019	B	`conf`	Learning Deterministic Variable Automata over Infinite Alphabets. FM Sarai Sheinvald
2017	—	`conf`	An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. NFM Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
2016	C	`conf`	On the Capacity of Capacitated Automata. LATA Orna Kupferman, Sarai Sheinvald
2014	B	`conf`	A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. ATVA Orna Grumberg, Orna Kupferman, Sarai Sheinvald
2014	—	`—`	Variable automata: theory and applications in the verification of data-parameterized systems (שער נוסף: אוטומטי משתנים : תאוריה ושימושים באימות של מערכות עם נתונים). Sarai Sheinvald
2013	B	`conf`	An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ATVA Orna Grumberg, Orna Kupferman, Sarai Sheinvald
2012	B	`conf`	Model Checking Systems and Specifications with Parameterized Atomic Propositions. ATVA Orna Grumberg, Orna Kupferman, Sarai Sheinvald
2010	C	`conf`	Variable Automata over Infinite Alphabets. LATA Orna Grumberg, Orna Kupferman, Sarai Sheinvald