Publications
-33386-6_6 Reusing System States by Active Learning Algorithms Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar In: Eternal Systems DOI: https://doi.org/10.1007/978-3-642-28033-7_6 Inferring [...] Dependable Computing – EDCC 2024 Workshops (EDCC 2024) DOI: https://doi.org/10.1007/978-3-031-56776-6_6 Preprint Scalable Tree-based Register Automata Learning Simon Dierl, Paul Fiterau-Brostean, Falk Howar [...] In: Software Engineering and Formal Methods (SEFM 2022) DOI: https://doi.org/10.1007/978-3-031-17108-6_6 Preprint EXIST-Forschungstransfer: Building Information Cloud Lisa Lenz, Jan Winkels, Julian Graefenstein …
