Demo Data from EDBT 2026 / reviewers in the wild / expert
Maximilian Rindler
dblp:392/4718
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2026
0009-0000-6187-0374ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021
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.
| Theoretical computer science
1 paper |
Automata and formal languages · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › grammatical inference › automata learning
active automata learning |
1.0 | 1 | 2026 | Active Automata Learning with Noisy Data: From Big to Small Data · FM (2) 2026 |
Automata and formal languages › grammatical inference
automata learning |
1.0 | 1 | 2026 | Active Automata Learning with Noisy Data: From Big to Small Data · FM (2) 2026 |
Software testing
model-based testing |
0.3 | 1 | 2026 | Active Automata Learning with Noisy Data: From Big to Small Data · FM (2) 2026 |
Methods — techniques the papers use, named apart from their topics
Partial MaxSAT · 1.0Partial Max-SAT · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Active Automata Learning with Noisy Data: From Big to Small DataabstractAbstract Active automata learning enables model-based testing and verification of black-box systems by automatically constructing models from observations via interactions with the system. As interactions are usually expensive, active algorithms attempt to perform as few interactions as possible to learn a given system. However, many such algorithms struggle when confronted with noise, such as message loss, when learning otherwise deterministic systems. We investigate and adapt different algorithms to learn deterministic automata in a noisy setting. One of these is a novel active algorithm based on our previous passive Partial Max-SAT algorithm. In our analysis, we demonstrate techniques to lower the required number of interactions and order the evaluated algorithms accordingly. Finally, we show that the necessary interactions can be further reduced when leaving the classical active learning framework. Felix Wallner, Bernhard K. Aichernig, Benjamin von Berg, Maximilian Rindler |
FM (2) | 4 |
| 2024 | Hierarchical Learning of Generative Automaton Models from Sequential Data
Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler |
SEFM | 3 |