Willkommen am Institute for Software and Systems Engineering Die Zukunft der Informatik gestalten! Unsere Mission: „Die Lücke zwischen Adaptivität und Verlässlichkeit nachhaltiger Systeme, Methoden und

Prof. Dr. Andreas Rausch Institute for Software and Systems Engineering - Geschäftsführender Direktor Sprechzeiten nach Vereinbarung Vita Seit 1.2.2007: Als Professor: Leitung und Mitwirkung an einer Reihe […] evolutionären Architekturentwurfs 1990-1996: Studium Diplom Informatik an der TU München, Nebenfach Wirtschaftswissenschaften Abschluss: Dipl.-Informatiker Univ., Prädikat: Mit Auszeichnung bestanden, Note 1,2 […] (Nebentätigkeit) 2003-2007: Juniorprofessor an der Technischen Universität Kaiserslautern, Fachbereich Informatik, Leiter der Arbeitsgruppe Softwarearchitektur (Erfolgreiche Zwischenevaluierung im Juni 2006);

Prof. Dr. Andreas Rausch Institute for Software and Systems Engineering - Software Systems Engineering Sprechzeiten nach Vereinbarung Vita Seit 1.2.2007: Als Professor: Leitung und Mitwirkung an einer […] evolutionären Architekturentwurfs 1990-1996: Studium Diplom Informatik an der TU München, Nebenfach Wirtschaftswissenschaften Abschluss: Dipl.-Informatiker Univ., Prädikat: Mit Auszeichnung bestanden, Note 1,2 […] (Nebentätigkeit) 2003-2007: Juniorprofessor an der Technischen Universität Kaiserslautern, Fachbereich Informatik, Leiter der Arbeitsgruppe Softwarearchitektur (Erfolgreiche Zwischenevaluierung im Juni 2006);

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

Lehrveranstaltungen Lehrveranstaltungen am Institute for Software and Systems Engineering Lehre ist neben Forschung und Wissenschaft eine unserer zentralen Säulen. Wir bieten daher eine Vielzahl von i […] Grundlagen der Informatik, des Software and Systems Engineering, sowie diverse Vertiefungen zum Beispiel im Bereich künstliche Intelligenz bietet. Lehrveranstaltungen im Wintersemester Informatik 1: Unterr […] Unterrichtssprache: Deutsch In der Grundlagenvorlesung Informatik 1 erhaltet ihr einen Überblick sowie eine erste Einführung in das große Themenfeld der Informatik. Wir vermitteln euch die Grundlagen der Algorithmik

Prof. Dr. Benjamin Leiding Institute for Software and Systems Engineering - Software Services for the Circular Economy Kontakt Telefon: +49 5323 72 - 7169 Fax: +49 5323 72-99 - 7169 E-Mail: benjamin.leiding […] leiding @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 211 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Prof. Dr. Benjamin Leiding Institute for Software and Systems Engineering - Software Services for the Circular Economy Kontakt Telefon: +49 5323 72 - 7169 Fax: +49 5323 72-99 - 7169 E-Mail: benjamin.leiding […] leiding @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 211 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Prof. Dr. Rüdiger Ehlers Institute for 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

Prof. Dr. Rüdiger Ehlers Institute for Software and Systems Engineering - Embedded Systems Sprechzeiten Termine können hier gebucht werden. Social Media https://www.linkedin.com/in/r%C3%BCdiger-ehlers […] 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

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