Yu Zhang, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: yu.zhang.1 @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude […] Gebäude C10 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Greulich, B.Sc. ML and LLMs-Enhanced Software and Systems Engineering E-Mail: oliver.greulich @ tu-clausthal . de Yu Zhang, B.Sc. Dependable and Autonomous Cyber-physical Systems E-Mail: yu.zhang.1 @ tu-clausthal […] khamzina @ tu-clausthal . de Daniel Garcia Vasquez, B.Sc. Machine Learned Models for Engineers E-Mail: daniel.garcia.vasquez @ tu-clausthal . de Yiren Wang, B.Eng. Machine Learned Models for Engineers E-Mail: […] tu-clausthal . de Mohamed Kassimi, B.Sc. Dependable and Autonomous Cyber-physical Systems E-Mail: mohamed.kassimi @ tu-clausthal . de Reshma Munappil Anilkumar Dependable and Autonomous Cyber-physical Systems

Yiwei Wu, B.Eng. Institut für Software and Systems Engineering Kontakt E-Mail: yiwei.wu @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude […] Gebäude C10 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Darshan Dinesh Shah, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: dar.shah @ ostfalia . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering […] Gebäude C10 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Oliver Greulich, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: oliver.greulich @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering […] Engineering Gebäude C10 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Reshma Munappil Anilkumar, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: reshma.munappil.anilkumar @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software […] Software and Systems Engineering Gebäude C10 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Forschung mündet häufig in der Implementierung der erarbeiteten Konzepte in Software, wie z.B.: Slugs : GR(1) Reactive Synthesis Tool Planet : Neural Network Verification GUISynth : Framework for synthesizing […] Verification In unserer Arbeit importieren wir viele Konzepte aus verwandten Gebieten der Informatik, wie z.B. des maschinellen Lernens, des Satisfiability Solving , der Automatentheorie , allgemeiner der formalen

benedikt.palucki @ tu-clausthal . de Yu Zhang, B.Sc. Dependable and Autonomous Cyber-physical Systems E-Mail: yu.zhang.1 @ tu-clausthal . de Reshma Munappil Anilkumar, B.Sc. Dependable and Autonomous Cyber-physical […] Tim Grams, M.Sc. Patrick Knab, M.Sc. Janis Zenkner, M.Sc. Tobias Sesterhenn, M.Sc. David Szilagyi, B.Sc. DACS: Dependable and Autonomous CPS (Prof. Dr. Andreas Rausch) Mohanad Al-Ghobari, M.Sc. E-Mail: […] stefan.wittek @ tu-clausthal . de Hilfswissenschaftler Xinyi Gao Automating CPS Design E-Mail: xinyi.gao.1 @ tu-clausthal . de Nils Hölzner Automating CPS Design E-Mail: nils.hoelzner @ tu-clausthal . de Joost

darauf ab (sicherheitsrelevante) Software für eingebettet Systeme hinsichtlich des Ressourcenbedarfs (z.B. CPU, GPU, Laufzeit) zu optimieren. Dazu wird ein automatisiertes Reverse Engineering von kompiliertem […] dem 2021 beschlossenen Klimaschutzgesetz zu einer Verschärfung der Klimaschutzvorgaben verpflichtet. [1] Die Förderung der Kreislaufwirtschaft stellt hierzu einen grundlegenden Baustein dar und ermöglicht […] und Meikowe Elektro- und Teleservice GmbH (Fleringen). Ansprechpartner: E-Mail: Mohammed Fahad Ali [1] www.bundesregierung.de/breg-de/schwerpunkte/klimaschutz/klimaschutzgesetz-2021-1913672 [2] Abfallvermeidung

and Self-Adaptive Systems and Applications, Valencia, Spain, April 6–10, 2025, pp. 16–23. ISBN: 978-1-68558-261-6, ISSN: 2308-4146. Briechle-Mathiszig, M., Ali, M.F., Briechle, D., Rausch, A. (2025). Fostering […] Computer and Information Science, vol 2505. Springer, Cham. https://doi.org/10.1007/978-3-031-95127-5_1 D. Briechle, T. Geger, L. Schartow and A. Rausch, " Brick by Brick - Findings of an of-the-Shelf Automation […] Assessment & Managementt Lifecycle Managements and Assessment , ADAPTIVE 2023, June 2023, ( ISBN: 978-1-68558-047-6) Briechle, D.; Lawrenz, S. " Data Driven Process Evaluation Simulation Model For Circular