Publications
Publications 2024 Tree-Based Scenario Classification Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar In: NASA Formal Methods (NFM 2024) DOI: https://doi.org/10.1007/978-3-031-60698-4_15 Preprint [...] Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar In: Dependable Computing – EDCC 2024 Workshops (EDCC 2024) DOI: https://doi.org/10.1007/978-3-031-56776-6_6 Preprint Scalable Tree-based Register [...] Graefenstein, Jan Winkels, Lisa Lenz In: Digital Building Permit conference (BP 2024) URL: https://eu4dbp.net/wp-content/uploads/2024/04/Book-of-Abstracts.pdf Strukturvarianz in wandlungsfähigen Produktions- …