FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. - Yael Abarbanel; Ilan Beer; Leonid Gluhovsky; Sharon Keidar; Yaron Wolfsthal (CAV, 2000)

Symbolic Localization Reduction with Reconstruction Layering and Backtracking. - Sharon Barner; Daniel Geist; Anna Gringauze (CAV, 2002)

An Algorithmic Approach to Design Exploration. - Sharon Barner; Shoham Ben-David; Anna Gringauze; Baruch Sterin; Yaron Wolfsthal (FME, 2002)

Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. - Sharon Barner; Ishai Rabinovitz (CHARME, 2003)

Searching for Counter-Examples Adaptively. - Sharon Keidar; Yoav Rodeh (IWFM, 2003)

Wolf - Bug Hunter for Concurrent Software Using Formal Methods. - Sharon Barner; Ziv Glazberg; Ishai Rabinovitz (CAV, 2005)

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. - Sharon Barner; Orna Grumberg (Formal Methods Syst. Des., 2005)

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. - Sharon Barner; Cindy Eisner; Ziv Glazberg; Daniel Kroening; Ishai Rabinovitz (Haifa Verification Conference, 2006)

CloudWave: Where adaptive cloud management meets DevOps. - Dario Bruneo; Thomas Fritz 001; Sharon Keidar-Barner; Philipp Leitner 001; Francesco Longo 001; Clarissa Cassales Marquezan; Andreas Metzger; Klaus Pohl; Antonio Puliafito; Danny Raz; Andreas Roth 001; Eliot E. Salant; et al. (ISCC, 2014)

Deep Ahead-of-Threat Virtual Patching. - Fady Copty; Andre Kassis; Sharon Keidar-Barner; Dov Murik (IOSec@RAID, 2018)

Verifying Parallel Code After Refactoring Using Equivalence Checking. - Moria Abadi; Sharon Keidar-Barner; Dmitry Pidan; Tatyana Veksler (Int. J. Parallel Program., 2019)