Simon Dierl
Simon Dierl
Verified email at - Homepage
Cited by
Cited by
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
A taxonomy and reductions for common register automata formalisms
S Dierl, F Howar
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2021
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
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
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
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
Reach on Register Automata via History Independence
S Dierl, F Howar
International Conference on Tests and Proofs, 11-30, 2022
The system can't perform the operation now. Try again later.
Articles 1–7