Follow
Simon Dierl
Simon Dierl
Verified email at cs.tu-dortmund.de - Homepage
Title
Cited by
Cited by
Year
Learning symbolic timed models from concrete timed data
S Dierl, FM Howar, S Kauffman, M Kristjansen, K Guldstrand Larsen, ...
NASA Formal Methods Symposium, 104-121, 2023
22023
Do away with the frankensteinian programs! a proposal for a genuine se education
S Dierl, F Howar, M Mues, S Naujokat, T Schallau
2021 Third International Workshop on Software Engineering Education for the …, 2021
22021
A taxonomy and reductions for common register automata formalisms
S Dierl, F Howar
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2021
22021
Spectrum-based fault localization in deployed embedded systems with driver interaction models
UT Gabor, S Dierl, O Spinczyk
Computer Safety, Reliability, and Security: 38th International Conference …, 2019
22019
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
M Mues, F Howar, S Dierl
International Conference on Software Engineering and Formal Methods, 91-107, 2022
12022
Scalable Tree-based Register Automata Learning
S Dierl, P Fiterau-Brostean, F Howar, B Jonsson, K Sagonas, F Tåquist
arXiv preprint arXiv:2401.14324, 2024
2024
Interpretable Anomaly Detection via Discrete Optimization
S Lutz, F Wittbold, S Dierl, B Böing, F Howar, B König, E Müller, D Neider
arXiv preprint arXiv:2303.14111, 2023
2023
Reach on Register Automata via History Independence
S Dierl, F Howar
International Conference on Tests and Proofs, 11-30, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–8