REACH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsc {Reach}$$\end{document} on Register Automata via History Independence
Get full text
Book Chapter
Scalable Tree-based Register Automata Learning
Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Year of Publication 25.01.2024
Year of Publication 25.01.2024
Get full text
Journal Article
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education
Dierl, Simon, Howar, Falk, Mues, Malte, Naujokat, Stefan, Schallau, Till
Published in 2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG) (01.05.2021)
Published in 2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG) (01.05.2021)
Get full text
Conference Proceeding
Interpretable Anomaly Detection via Discrete Optimization
Lutz, Simon, Wittbold, Florian, Dierl, Simon, Böing, Benedikt, Howar, Falk, König, Barbara, Müller, Emmanuel, Neider, Daniel
Year of Publication 24.03.2023
Year of Publication 24.03.2023
Get full text
Journal Article
Scalable Tree-based Register Automata Learning
Dierl, Simon, Paul Fiterau-Brostean, Falk Howar, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Published in arXiv.org (25.01.2024)
Get full text
Published in arXiv.org (25.01.2024)
Paper
Interpretable Anomaly Detection via Discrete Optimization
Lutz, Simon, Wittbold, Florian, Dierl, Simon, Böing, Benedikt, Falk Howar, König, Barbara, Müller, Emmanuel, Neider, Daniel
Published in arXiv.org (24.03.2023)
Get full text
Published in arXiv.org (24.03.2023)
Paper