Wir bieten hier die Möglichkeit verschiedene Modellfahrzeuge ( ADAS-Modellfahrzeug 2016 im Maßstab 1:8, verschiedene RaspberryPi Fahrzeuge von SunFounder und Dexter Industries ), den Festo Robotino mit

tu-clausthal . de Yu Zhang, B.Sc. Dependable and Autonomous Cyber-physical Systems E-Mail: yu.zhang.1 @ tu-clausthal . de Mohamed Kassimi, B.Sc. Dependable and Autonomous Cyber-physical Systems E-Mail: […] tu-clausthal . de Julian Schöpe Emerging Technologies for a Circular Economy E-Mail: julian.schoepe.1 @ tu-clausthal . de Arash Kharazmi Emerging Technologies for a Circular Economy E-Mail: arash.kharazmi

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

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

Conference on Decision and Control (CDC 2016) Rüdiger Ehlers and Vasumathi Raman: Slugs: Extensible GR(1) Synthesis . 28th Int'l Conference on Computer Aided Verification (CAV 2016) Rüdiger Ehlers and Ufuk […] Analysis (ATVA 2012) Rüdiger Ehlers and Daniela Moldovan: Sparse Positional Strategies for Safety Games . 1st Workshop on Synthesis (SYNT 2012) Rüdiger Ehlers: ACTL ∩ LTL Synthesis . 24th International Conference […] on Games, Automata, Logics and Formal Verification (GandALF 2011) Rüdiger Ehlers: Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis . 3rd NASA Formal Methods Symposium (NFM 2011)

Conference on Decision and Control (CDC 2016) Rüdiger Ehlers and Vasumathi Raman: Slugs: Extensible GR(1) Synthesis . 28th Int'l Conference on Computer Aided Verification (CAV 2016) Rüdiger Ehlers and Ufuk […] Analysis (ATVA 2012) Rüdiger Ehlers and Daniela Moldovan: Sparse Positional Strategies for Safety Games . 1st Workshop on Synthesis (SYNT 2012) Rüdiger Ehlers: ACTL ∩ LTL Synthesis . 24th International Conference […] on Games, Automata, Logics and Formal Verification (GandALF 2011) Rüdiger Ehlers: Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis . 3rd NASA Formal Methods Symposium (NFM 2011)

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 […] 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 Systems […] tu-clausthal . de Julian Schöpe Emerging Technologies for a Circular Economy E-Mail: julian.schoepe.1 @ tu-clausthal . de Arash Kharazmi Emerging Technologies for a Circular Economy E-Mail: arash.kharazmi

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 […] Mitverursacher des derzeitigen Anstiegs der globalen Abfallmengen und des exzessiven Rohstoffeinsatzes. [1] Dadurch bedingt erzeugen Elektro -und Elektronikprodukte Emissionen, welche sich durch Reparatur und

Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 220 Arnold-Sommerfeld-Straße 1 38678 Clausthal-Zellerfeld Germany

Dirk Niebuhr hat am 09. August 2010 seine Promotion mit Vortrag und Prüfung erfolgreich abgeschlossen. 1. Dependable Dynamic Adaptive Systems — Approach, Model, and Infrastructure