Simon Dierl

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Embedded Systems

Knowledge Representation Formalisms

Fault Localization

Cellular Automata

Top Venues

Publications

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. CoRR (2024)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. TACAS (2) (2024)
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
Learning Symbolic Timed Models from Concrete Timed Data. NFM (2023)
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
Interpretable Anomaly Detection via Discrete Optimization. CoRR (2023)
Malte Mues, Falk Howar, Simon Dierl
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM (2022)
Simon Dierl, Falk Howar
Reach on Register Automata via History Independence. TAP@STAF (2022)
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE (2021)
Simon Dierl, Falk Howar
A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning (2021)
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. SAFECOMP (2019)