Simon Dierl

According to our database, Simon Dierl authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Tree-based Register Automata Learning.

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

CoRR, 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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Reach on Register Automata via History Independence.

Simon Dierl, Falk Howar

Proceedings of the Tests and Proofs - 16th International Conference, 2022

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.

Malte Mues, Falk Howar, Simon Dierl

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education.

Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

A Taxonomy and Reductions for Common Register Automata Formalisms.

Simon Dierl, Falk Howar

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2019

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.

Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk

Proceedings of the Computer Safety, Reliability, and Security, 2019