Demo Data from EDBT 2026 / reviewers in the wild / expert
Sharon Barner
dblp:42/4990 · also Sharon Keidar, Sharon Keidar-Barner
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › model checking
symbolic model checking |
0.1 | 2 | 2002 | 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.1 | 1 | 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005 |
Program analysis
dynamic analysis |
0.1 | 1 | 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005 |
Automated reasoning and model checking › model checking › state space reduction
symmetry reduction |
0.0 | 1 | 2002 | Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking · CAV 2002 |
Software testing › test oracle
test oracle generation |
0.0 | 1 | 2000 | FoCs: Automatic Generation of Simulation Checkers from Formal Specifications · CAV 2000 |
Automated reasoning and model checking
runtime verification |
0.0 | 1 | 2000 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | CloudWave: Where adaptive cloud management meets DevOpsabstractThe 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 |
ISCC | 3 |
| 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz |
CAV | 1 |
| 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 |
CAV | 1 |
| 2002 | Symbolic Localization Reduction with Reconstruction Layering and Backtracking
Sharon Barner, Daniel Geist, Anna Gringauze |
CAV | 1 |
| 2000 | FoCs: Automatic Generation of Simulation Checkers from Formal Specifications
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Barner, Yaron Wolfsthal |
CAV | 4 |