Demo Data from EDBT 2026 / reviewers in the wild / expert
Huanhuan Sheng
dblp:232/0197
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 1Theory of computation · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 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
1 paper |
Program verification · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › reactive system verification
hybrid system verification |
0.7 | 1 | 2023 | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic · FM 2023 |
Embedded and real-time systems
cyber-physical systems |
0.2 | 1 | 2023 | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic · FM 2023 |
Methods — techniques the papers use, named apart from their topics
hoare logic · 1.3deductive verification · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
FM | 1 |
| 2020 | Generative Adversarial Training for Weakly Supervised Nuclei Instance SegmentationabstractNuclei segmentation occupies an important position in medical image analysis, which helps to predict and diagnose diseases. With the further research of deep learning, the task of nuclei segmentation has been automated. However, most existing methods require a great deal of manually marked full masks for training, which is time-consuming and labor-intensive, and can only be done by professional personnel. For the purpose of reducing the cost of labeling, we propose a weakly supervised method using generative adversarial training for segmentation of nucleus. In the case of no boundary, but only the centroid of the nucleus, the proposed method segmented the nucleus region with blurred boundaries. We first use the generative adversarial network(GAN) to generate the likelihood map of the nuclear centroid, then use Guided Backpropagation to visualize the pixels that contributes to the detection of the centroid of each nucleus, and finally obtain the segmentation mask of the nucleus by graph-cut. In addition, for the purpose of training the network better, we performed stain normalization on each pathological image. We have verified the proposed method on a multi-organ nuclei dataset. The final experiment results show that our advanced method achieves better segmentation performance than other weakly supervised methods, and can even reach the level of full supervision. Wei Hu 0001, Huanhuan Sheng, Jing Wu 0019, Yonghao Wang, Yuan Wen |
SMC | 2 |