| 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 | 2 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | 1 | 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 | | 2023 |
| Reach on Register Automata via History Independence S Dierl, F Howar International Conference on Tests and Proofs, 11-30, 2022 | | 2022 |
