Items where Author is "Sheinvald, Sarai"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Frenkel, Hadar and Grumberg, Orna and Rothenberg, Bat-Chen and Sheinvald, Sarai
(2022) Automated Program Repair Using Formal Verification Techniques.
Springer, Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
.

Frenkel, Hadar and Grumberg, Orna and Pasareanu, Corina and Sheinvald, Sarai
(2022) Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties.
International Journal on Software Tools for Technology Transfer. ISSN 1433-2779

Frenkel, Hadar and Sheinvald, Sarai
(2022) Realizable and Context-Free Hyperlanguages.
In: GandALF.
Conference: GandALF GandALF - games, automata, logics, and formal methods

Frenkel, Hadar and Grumberg, Orna and Pasareanu, Corina and Sheinvald, Sarai
(2020) Assume, Guarantee or Repair.
In: TACAS 2020.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Frenkel, Hadar and Grumberg, Orna and Sheinvald, Sarai
(2018) An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
Journal of Automated Reasoning, 63 (4). pp. 1077-1101.

Frenkel, Hadar and Grumberg, Orna and Sheinvald, Sarai
(2017) An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
In: NFM 2017.
Conference: NFM NASA Formal Methods Symposium

This list was generated on Tue Nov 4 13:25:05 2025 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.