Ossietzky Universität Oldenburg, das Fraunhofer-Institut für Schicht- und Oberflächentechnik, die Leibniz Universität Hannover, OFFIS – Institut für Informatik, Ostfalia Hochschule für angewandte Wissenschaften […] Goslar der feierliche Kick-Off für das neue Zukunftslabor Circular Economy statt, welches am Center for Digital Technologies (DIGIT) der Technischen Universität Clausthal angesiedelt ist. Christoph Willeke […] hat. Unter der Leitung von Prof. Dr. Andreas Rausch, Sprecher des Zukunftslabors und Leiter des Instituts für Software & Systems Engineering sowie Vorstandsvorsitzender des DIGIT, widmet sich das Forsc
behave in order to be correct. Such documentation is then useful for the integration of the synthesized controller into a bigger system and for later maintenance of the integrated system. The paper is open […] The paper is authored by Rüdiger Ehlers, who heads the ACPS research group of the Institute of Software and Systems Engineering of TU Clausthal. It deals with the problem of fostering the understandability
Tenure-Evaluierung. Prof. Leiding leitet die Arbeitsgruppe „Emerging Technologies for the Circular Economy“ am Institut für Software und Systems Engineering die sich mit den Forschungsschwerpunkten Dig
ppe „AI Systems Engineering“ zu leiten. Ab 2018 übernahm er dort die Geschäftsführung seines Institutefor Enterprise Systems (InES). Während dieser Zeit lehrte er auch als „Invited Professor“ im Rahmen […] „Ich freue mich, dass Herr Bartelt zurück an die TU Clausthal gekommen ist und unsere Informatik verstärkt. So kann er gleich durchstarten“, sagte TU-Präsidentin Dr.-Ing. Sylvia Schattauer bei der Ernennung […] Ernennung. Christian Bartelt hat an der Technischen Universität Kaiserslautern Informatik studiert und anschließend dort als wissenschaftlicher Mitarbeiter der Arbeitsgruppe Softwarearchitektur geforscht
Kontakt ANREISE & ANSCHRIFT Institutefor Software and Systems Engineering Arnold-Sommerfeld-Straße 1 38678 Clausthal-Zellerfeld KONTAKT E-Mail: info @ isse.tu-clausthal . de Tel: +49 5323 72-7136 Fax:
als (Dr. -Ing.) am Institut für Software und Systems Engineering an der Technischen Universität Clausthal, Thema: “Machine Learning-based Intelligent Fault Detection and Diagnosis for Real-Time Validation […] Injection and HIL Simulation for ML-Assisted Validation of Automotive Software Systems ", Electronics 13 (2), 437. M Abboush, C Knieke, A Rausch, " A Virtual Testing Framework for Real-Time Validation of […] and Imbalanced Data based on Ensemble LSTM and Random Forest ", IEEE Access. M Abboush, C Knieke, A Rausch, " GRU-based denoising autoencoder for detection and clustering of unknown single and concurrent
Dr. Stefan Wittek Institut für Software and Systems Engineering Lebenslauf Seit 04/2023: Verwalter einer Professur - Methoden und Anwendungen maschinellen Lernens Institutfor Software and Systems Engineering […] Projektakquise 06/2021 – 03/2023: Postdoc Institutfor Software and Systems Engineering - TU Clausthal Aufbau und Leitung der Forschungsgruppe „Machine Learned Models for Engineers“ Eigenständige Durchführung […] die Informatik Interdisziplinäres Digitalisierungsprojekt: Softwareentwicklung Diverse weitere studentische Projekte und Abschlussarbeiten Leitung der Forschungsgruppe „Machine Learned Models for Engineers“
Basis von Smart Contracts. PROJEKTPARTNER: MoD Holding GmbH, TU Clausthal (Institutefor Software and Systems Engineering), Institut für Enterprise Systems (InES) Universität Mannheim, Brehmer GmbH & Co. KG […] Ossietzky Universität Oldenburg (VLBA), Fraunhofer-Institut für Schicht- und Oberflächentechnik, Leibniz Universität Hannover (match) , OFFIS Institut für Informatik (FuE) , Ostfalia Hochschule für angewandte […] Fahrzeuge einsetzen und durch die Bündelung koordinierbarer Einzelfahrten Synergieeffekte nutzen. Das Institut für System- und Softwaretechnik (ISSE) entwickelt eine Softwarelösung für die "intelligente" wi
Reactive Synthesis Tool Planet : Neural Network Verification GUISynth : Framework for synthesizing graphical user interface code for Android Cell Phone Apps Zu den oben genannten Themen bieten wir auch Regelmäßig […] um diese Probleme zu lösen. Dazu führen wir Forschungsarbeit in den folgenden Unterthemen der Informatik durch: Verifikation und Qualitätssicherung gelernter künstlicher neuronaler Netze Reaktive Synthese […] Runtime 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