Simone Dahms Institute for Software and Systems Engineering - Sekretariat, Verwaltung des Instituts Kontakt Telefon: +49 5323 72 - 7197 E-Mail: simone.dahms @ tu-clausthal . de Adresse Technische Universität […] Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 212 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

Nadine Hahn Institute for Software and Systems Engineering - Sekretariat, Verwaltung des Instituts Kontakt Telefon: +49 5323 72 - 7136 E-Mail: nadine.hahn @ tu-clausthal . de Adresse Technische Universität […] Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 212 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

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);

Prof. Dr. Harald Ludanek Institute for Software and Systems Engineering - Management und Technik in der Fahrzeugentwicklung Sprechzeiten nach Vereinbarung Kontakt Telefon: +49 5323 72 - 7136 Fax: +49 5323

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

apl. Prof. Dr. Christoph Knieke Institute for Software and Systems Engineering Sprechzeiten nach Vereinbarung Social Media https://www.researchgate.net/profile/Christoph_Knieke Vita 2019: Habilitation […] Automotive Software Product Line Architectures“ 2011-2019: Geschäftsführer des Forschungsverbunds „Institute for Applied Software Systems Engineering“ (IPSSE) mit Sitz in Goslar. Dabei Leitung von mehr als 20 […] /Stipendiaten Seit 2012: Lehrtätigkeit an der TU Clausthal 2011: Promotion als Dr. rer. nat. am Institut für Programmierung und Reaktive Systeme an der TU Braunschweig, Thema: „Modellierung und Validierung

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

Prof. Dr. Christian Bartelt Institute for Software and Systems Engineering Kontakt E-Mail: christian.bartelt @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems