Sharon Barner

According to our database, Sharon Barner authored at least 11 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Verifying Parallel Code After Refactoring Using Equivalence Checking.

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler

Int. J. Parallel Program., 2019

2018

Deep Ahead-of-Threat Virtual Patching.

Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik

Proceedings of the Information and Operational Technology Security Systems, 2018

2014

CloudWave: Where adaptive cloud management meets DevOps.

Dario Bruneo, Thomas Fritz, Sharon Keidar-Barner, Philipp Leitner, Francesco Longo, Clarissa Cassales Marquezan, Andreas Metzger, Klaus Pohl, Antonio Puliafito, Danny Raz, Andreas Roth, Eliot E. Salant, Itai Segall, Massimo Villari, Yaron Wolfsthal, Chris Woods

Proceedings of the IEEE Symposium on Computers and Communications, 2014

2006

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz

Proceedings of the Hardware and Software, 2006

2005

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.

Sharon Barner, Orna Grumberg

Formal Methods Syst. Des., 2005

Wolf - Bug Hunter for Concurrent Software Using Formal Methods.

Sharon Barner, Ziv Glazberg, Ishai Rabinovitz

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Searching for Counter-Examples Adaptively.

Sharon Keidar, Yoav Rodeh

Proceedings of the 6th International Workshop on Formal Methods, 2003

Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.

Sharon Barner, Ishai Rabinovitz

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

An Algorithmic Approach to Design Exploration.

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the FME 2002: Formal Methods, 2002

Symbolic Localization Reduction with Reconstruction Layering and Backtracking.

Sharon Barner, Daniel Geist, Anna Gringauze

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2000

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 12th International Conference, 2000