Publications

  • 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-Checking
    Systems 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