Simon Dierl, M.Sc.
E-Mail
simon.dierltu-dortmundde
Phone
(+49)231 755-7543
Office
TU Dortmund
Department for Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Room 2.008
Consultation Hours
By appointment
Links
ORCID
Google Scholar
Publications
2024
Scalable Tree-based Register Automata Learning
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
DOI: https://doi.org/10.1007/978-3-031-57249-4_5
Preprint
2023
Learning Symbolic Timed Models from Concrete Timed Data
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
In: NASA Formal Methods (NFM 2023)
DOI: https://doi.org/0.1007/978-3-031-33170-1_7
Preprint
Interpretable Anomaly Detection via Discrete Optimization
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
arXiv:2303.14111
DOI: https://doi.org/10.48550/arXiv.2303.14111
Preprint
2022
Reach on Register Automata via History Independence
Simon Dierl, Falk Howar
In: Tests and Proofs (TAP 2022)
DOI: https://doi.org/10.1007/978-3-031-09827-7_2
Preprint
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
Malte Mues, Falk Howar, Simon Dierl
In: Software Engineering and Formal Methods (SEFM 2022)
DOI: https://doi.org/10.1007/978-3-031-17108-6_6
Preprint
2021
A Taxonomy and Reductions for Common Register Automata Formalisms
Simon Dierl, Falk Howar
In: Model Checking, Synthesis, and Learning
DOI: https://doi.org/10.1007/978-3-030-91384-7_10
Preprint
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
In: Third International Workshop on Software Engineering Education for the Next Generation (SEENG 2021)
DOI: https://doi.org/10.1109/SEENG53126.2021.00012
Preprint
2019
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
In: Computer Safety, Reliability, and Security (SAFECOMP 2019)
DOI: https://doi.org/10.1007/978-3-030-26601-1_7
Preprint