Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Sharon Barner

dblp:42/4990 · also Sharon Keidar, Sharon Keidar-Barner · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
0since 2021 · last 2014
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 4 first-authorSoftware engineering, systems software and programming languages · 4 · 3 first-authorComputer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Program analysis · 40% Concurrent programming · 40% Software testing · 20%
Theoretical computer science
3 papers
Automated reasoning and model checking · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › model checking
symbolic model checking
0.122002
Symbolic Localization Reduction with Reconstruction Layering and Backtracking · CAV 2002
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking · CAV 2002
Concurrent programming
concurrency bug detection
0.112005
Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005
Program analysis
dynamic analysis
0.112005
Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005
Automated reasoning and model checking › model checking › state space reduction
symmetry reduction
0.012002
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking · CAV 2002
Software testing › test oracle
test oracle generation
0.012000
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications · CAV 2000
Automated reasoning and model checking
runtime verification
0.012000
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications · CAV 2000

Methods — techniques the papers use, named apart from their topics

formal specification · 0.1formal methods · 0.1under-approximation · 0.0reconstruction layering · 0.0backtracking · 0.0
YearPublicationVenuePosition
2014 CloudWave: Where adaptive cloud management meets DevOps
abstract
The transition to cloud computing offers a large number of benefits, such as lower capital costs and a highly agile environment. Yet, the development of software engineering practices has not kept pace with this change. Moreover, the design and runtime behavior of cloud based services and the underlying cloud infrastructure are largely decoupled from one another.This paper describes the innovative concepts being developed by CloudWave to utilize the principles of DevOps to create an execution analytics cloud infrastructure where, through the use of programmable monitoring and online data abstraction, much more relevant information for the optimization of the ecosystem is obtained. Required optimizations are subsequently negotiated between the applications and the cloud infrastructure to obtain coordinated adaption of the ecosystem. Additionally, the project is developing the technology for a Feedback Driven Development Standard Development Kit which will utilize the data gathered through execution analytics to supply developers with a powerful mechanism to shorten application development cycles.
Dario Bruneo, Thomas Fritz 0001, Sharon Barner, Philipp Leitner 0001, Francesco Longo 0001, Clarissa Cassales Marquezan, Andreas Metzger, Klaus Pohl, Antonio Puliafito, Danny Raz, Andreas Roth 0001, Eliot E. Salant, Itai Segall, Massimo Villari, Yaron Wolfsthal, Chris Woods
ISCC3
2005 Wolf - Bug Hunter for Concurrent Software Using Formal Methods
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
CAV1
2005 Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
Sharon Barner, Orna Grumberg
Formal Methods Syst. Des.1
2002 Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
Sharon Barner, Orna Grumberg
CAV1
2002 Symbolic Localization Reduction with Reconstruction Layering and Backtracking
Sharon Barner, Daniel Geist, Anna Gringauze
CAV1
2000 FoCs: Automatic Generation of Simulation Checkers from Formal Specifications
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Barner, Yaron Wolfsthal
CAV4