Simon Dierl

12 papers B 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds.
ITSC
Leon Schwarzer, Matthias Zeller, Daniel Casado Herraez, Simon Dierl, Michael Heidingsfeld, Cyrill Stachniss
2025 J jnl
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds.
CoRR
Leon Schwarzer, Matthias Zeller, Daniel Casado Herraez, Simon Dierl, Michael Heidingsfeld, Cyrill Stachniss
2025 — conf
Unsupervised Automata Learning via Discrete Optimization.
JELIA (1)
Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2024 — conf
Scalable Tree-based Register Automata Learning.
TACAS (2)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024 J jnl
Scalable Tree-based Register Automata Learning.
CoRR
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2023 J jnl
Interpretable Anomaly Detection via Discrete Optimization.
CoRR
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2023 — conf
Learning Symbolic Timed Models from Concrete Timed Data.
NFM
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
2022 — conf
Reach on Register Automata via History Independence.
TAP@STAF
Simon Dierl, Falk Howar
2022 B conf
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.
SEFM
Malte Mues, Falk Howar, Simon Dierl
2021 — conf
A Taxonomy and Reductions for Common Register Automata Formalisms.
Model Checking, Synthesis, and Learning
Simon Dierl, Falk Howar
2021 — conf
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education.
SEENG@ICSE
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
2019 B conf
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.
SAFECOMP
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk