- Assume, Guarantee or Repair
Hadar Frenkel, Orna Grumberg, Corina Pasareanu, and Sarai Sheinvald
TACAS 2020
pdf - Learn Your Program (poster)
Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
FMCAD 2019
pdf, poster - Assume, Guarantee or Repair (student forum submission)
Hadar Frenkel, Orna Grumberg, Corina Pasareanu, and Sarai Sheinvald
CSCML 2019
pdf -
An Automata-Theoretic Approach to Model-CheckingSystems and Specifications Over Infinite Data Domains
Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
Journal of Automated Reasoning 2019
pdf - An Automata-Theoretic Approach to Modeling Systems
and Specifications Over Infinite Data
Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
NFM 2017
pdf, slides