default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSharon Barner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[i1]Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik:
Deep ahead-of-threat virtual patching. CoRR abs/2007.08296 (2020)
2010 – 2019
- 2019
- [j2]Moria Abadi
, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler:
Verifying Parallel Code After Refactoring Using Equivalence Checking. Int. J. Parallel Program. 47(1): 59-73 (2019) - 2018
- [c10]Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik:
Deep Ahead-of-Threat Virtual Patching. IOSec@RAID 2018: 99-109 - 2014
- [c9]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:
CloudWave: Where adaptive cloud management meets DevOps. ISCC 2014: 1-6 - 2011
- [e1]Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz:
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6504, Springer 2011, ISBN 978-3-642-19582-2 [contents]
2000 – 2009
- 2006
- [c8]Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz:
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference 2006: 138-154 - 2005
- [j1]Sharon Barner, Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Formal Methods Syst. Des. 27(1-2): 29-66 (2005) - [c7]Sharon Barner, Ziv Glazberg, Ishai Rabinovitz:
Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV 2005: 153-157 - 2003
- [c6]Sharon Barner, Ishai Rabinovitz:
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. CHARME 2003: 35-50 - [c5]Sharon Keidar, Yoav Rodeh:
Searching for Counter-Examples Adaptively. IWFM 2003 - 2002
- [c4]Sharon Barner, Daniel Geist, Anna Gringauze:
Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV 2002: 65-77 - [c3]Sharon Barner, Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. CAV 2002: 93-106 - [c2]Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal:
An Algorithmic Approach to Design Exploration. FME 2002: 146-162 - 2000
- [c1]Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal:
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
