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“
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
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“
Jannik Brinkmann, M.Sc. Institut für Software and Systems Engineering Jannik Brinkmann is a Ph.D. student in Computer Science at the Technical University of Clausthal since 2025. He began his doctoral […] information. He has held visiting researcher positions at Northeastern University and the NYU Center for Data Science, where he collaborated with leading groups on natural language processing and interpretability […] NeurIPS, ICLR, ACL, NAACL, and ICCV. His contributions have been recognized with an Honorable Mention for Best Paper at the ICML 2024 Workshop on Mechanistic Interpretability, and a NeurIPS 2024 Outstanding
Clausthal Institutefor Software and Systems Engineering Institut für Aufbereitung, Deponietechnik und Geomechanik (IFAD), Lehrstuhl für Rohstoffaufbereitung und Recycling Ostfalia Institut für Verteilte […] Verteilte Systeme (IVS) Institut für Produktionstechnik (IPT) TU Braunschweig Institut für Automobilwirtschaft und Industrielle Produktion (AIP), Lehrstuhl für Produktion und Logistik Institut für Werkzeugmaschinen […] die Akteure der Closed-loop Supply Chains untereinander Informationen handeln können. Fokus des Institutesfor Software and Systems Engineering ist die dynamische integration neuer Datenquellen in den In
Projektträger Projektpartner: TU Clausthal Institut für Software and Systems Engineering Universität Osnabrück Fachgebiet Informationsmanagement und Wirtschaftsinformatik (IMWI) Hochschule Osnabrück Laborbereich […] Braunschweig Institut für Werkzeugmaschinen und Fertigungstechnik (IWF) Universität Hildesheim Fachgebiet Informationssysteme und Unternehmensmodellierung (ISUM) Leibniz Universität Hannover Institut für Pr
Prof. Dr. Rüdiger Ehlers Institutefor Software and Systems Engineering - Mitglied des Direktoriums Sprechzeiten Termine können hier gebucht werden. Social Media https://www.linkedin.com/in/r%C3%BCdig […] and Rüdiger Ehlers: A Fragment of Linear Temporal Logic for Universal Very Weak Automata . 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) Rüdiger Ehlers and […] International Symposium on Automated Technology for Verification and Analysis (ATVA 2012) Rüdiger Ehlers and Daniela Moldovan: Sparse Positional Strategies for Safety Games . 1st Workshop on Synthesis (SYNT