Simon Dierl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | JELIA | Unsupervised Automata Learning via Discrete Optimization. | Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara Knig, Emmanuel Mller, Daniel Neider |
| 2024 | TACAS | Scalable Tree-based Register Automata Learning. | Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2022 | SEFM | SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. | Malte Mues, Falk Howar, Simon Dierl |
| 2022 | TAP | Reach on Register Automata via History Independence. | Simon Dierl, Falk Howar |
| 2019 | SAFECOMP | Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. | Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk |