Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Simon Dierl

> Home > Persons

Person information

affiliation: Technische Universität Dortmund, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DierlFHJST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DierlFHJST24
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108
2023
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DierlHKKLLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DierlHKKLLM23
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: 104-121
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MuesHD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MuesHD22
Malte Mues, Falk Howar, Simon Dierl:
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM 2022: 91-107
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/DierlH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DierlH22
Simon Dierl, Falk Howar:
Reach on Register Automata via History Independence. TAP@STAF 2022: 11-30
2021
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DierlH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DierlH21
Simon Dierl, Falk Howar:
A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning 2021: 186-218
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-seeng/DierlHMNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-seeng/DierlHMNS21
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: 26-30
2019
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GaborDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GaborDS19
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk:
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. SAFECOMP 2019: 97-112

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14324
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. CoRR abs/2401.14324 (2024)
2023
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14111
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 abs/2303.14111 (2023)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.