Demo Data from EDBT 2026 / reviewers in the wild / expert
Jeonghyun Joo
dblp:272/1856
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
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.
| Network and information security
1 paper |
Hardware security and side channels · 100% | |
| Computer networks
1 paper |
Network management and operations · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels › hardware security verification
security property generation |
0.9 | 1 | 2025 | Poster: Automated Security Property Extraction from Protocol Specifications · ICNP 2025 |
Network management and operations
configuration verification |
0.3 | 1 | 2025 | Poster: Automated Security Property Extraction from Protocol Specifications · ICNP 2025 |
Methods — techniques the papers use, named apart from their topics
automated property extraction · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Poster: Automated Security Property Extraction from Protocol Specifications
Hassan Asghar 0002, Myeong-Ha Hwang, Jeonghyun Joo, Heewoon Kang, YooJin Kwon, Kazi Samin Mubasshir, Imtiaz Karim, Elisa Bertino, Hyunwoo Lee 0001 |
ICNP | 3 |
| 2020 | Poster: Test Case Prioritization Using Error Propagation ProbabilityabstractA software test is to execute the program using a test case to examine whether it produces the intended output. For successful regression testing, it is very important to choose a relatively small amount, but productive test cases to maximize testing efficiency. Test case prioritization is a suggested technique for this purpose. This technique arranges the test cases in such a way that higher-order test cases are expected to outperform those on lower-order test cases in fault-finding capability. In this paper, we suggest a new metric for test case prioritization based on the error propagation probability of the test cases. This metric arranges test cases in order by means of the probabilistic fault finding capability of the test cases. Since our metric is based on mathematical probability, it can show statistically consistent and constant results for the fault-finding capability of test cases. The experiment results show that there is a high correlation between the test cases aligned by our metric and their fault-finding capabilities. Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park |
ICST | 1 |