Number of items: 6.
Frenkel, Hadar and Grumberg, Orna and Rothenberg, Bat-Chen and Sheinvald, Sarai
(2022)
Automated Program Repair Using Formal Verification Techniques.
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.
Frenkel, Hadar and Grumberg, Orna and Pasareanu, Corina and Sheinvald, Sarai
(2020)
Assume, Guarantee or Repair.
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.
This list was generated on Thu Oct 10 02:58:24 2024 CEST.