Sharon Keidar-Barner

Publications

• Verifying Parallel Code After Refactoring Using Equivalence Checking

  • • Moria Abadi
    • Sharon Keidar-Barner
    • et al.
  • 2018
  • Int. J. Parallel Program

• Combining symmetry reduction and under-approximation for symbolic model checking

  • • Sharon Barner
    • Orna Grumberg
  • 2005
  • Formal Methods in System Design

• Wolf - Bug hunter for concurrent software using formal methods

  • • Sharon Barner
    • Ziv Glazberg
    • et al.
  • 2005
  • CAV 2005

• An algorithmic approach to design exploration

  • • Sharon Barner
    • Shoham Ben-David
    • et al.
  • 2002
  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)