Search Results - Keidar-Barner, Sharon

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Verifying Parallel Code After Refactoring Using Equivalence Checking

    Verifying Parallel Code After Refactoring Using Equivalence Checking by Abadi, Moria, Keidar-Barner, Sharon, Pidan, Dmitry, Veksler, Tatyana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    CloudWave: Where adaptive cloud management meets DevOps

    CloudWave: Where adaptive cloud management meets DevOps by Bruneo, Dario, Fritz, Thomas, Keidar-Barner, Sharon, Leitner, Philipp, Longo, Francesco, Marquezan, Clarissa, Metzger, Andreas, Pohl, Klaus, Puliafito, Antonio, Raz, Danny, Roth, Andreas, Salant, Eliot, Segall, Itai, Villari, Massimo, Wolfsthal, Yaron, Woods, Chris

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Deep ahead-of-threat virtual patching

    Deep ahead-of-threat virtual patching by Copty, Fady, Kassis, Andre, Keidar-Barner, Sharon, Murik, Dov

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: