Simon Dierl, M.Sc.

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

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, and Daniel Neider
arXiv:2303.14111
DOI: https://doi.org/10.48550/arXiv.2303.14111
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

Reach on Register Automata via History Independence
Simon Dierl and 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, and Simon Dierl
In: Software Engineering and Formal Methods (SEFM 2022)
DOI: https://doi.org/10.1007/978-3-031-17108-6_6
Preprint

A Taxonomy and Reductions for Common Register Automata Formalisms
Simon Dierl and Falk Howar
In: Model Checking, Synthesis, and Learning
DOI: https://doi.org/10.1007/978-3-030-91384-7_10
Preprint

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
Ulrich Thomas Gabor, Simon Dierl, and Olaf Spinczyk
In: Computer Safety, Reliability, and Security (SAFECOMP 2019)
DOI: https://doi.org/10.1007/978-3-030-26601-1_7
Preprint