Publications
the Construction and Analysis of Systems (TACAS 2024) DOI: https://doi.org/10.1007/978-3-031-57249-4_5 Preprint AI-supported, automatic document checking for digital submission and processing of building [...] In: Engineering of Computer-Based Systems (ECBS 2023) DOI: https://doi.org/10.1007/978-3-031-49252-5_21 Preprint Konfiguration und Parameteroptimierung eines Evolutionären Algorithmus für die Maschine [...] 10500, J.-P. Katoen, R. Langerak, A. Rensink, and E. Brinksma, Eds. Cham: Springer, 2017, pp. 125–144. [5] S. Naujokat, “Heavy meta: model-driven domain-specific generation of generative domain-specific modeling …
