Hauptinhalt

Sitemap

• Home
  • Software Engineering by Algorithms and Logic
    • Forschung Motivation
    • Combinatory Logic Synthesizer
    • ArchiType
    • Cloud Computing Infrastructure
  • Virtual Machining
    • Forschung
    • Lehrveranstaltungen
    • Abschlussarbeiten
    • Veröffentlichungen
    • Kontakt
  • Automated Quality Assurance
    • Lehre
      • Abschlussarbeiten
      • Lehrveranstaltungen
      • Projektgruppen
        • AutoSchedule
        • PG SOS
        • 625: EaT CTFs
    • Veröffentlichungen
    • Projekte
    • Labore
    • Kontakt
  • Kontakt
• Mitarbeiter
  • Professoren
    • Rehof, Jakob, Prof. Dr.
    • Howar, Falk, Prof. Dr.
    • Prof. Dr. Petra Wiederkehr
  • Sekretariat
    • Ute Joschko
    • Sevda Tarkun
  • Wissenschaftliche Mitarbeiter(innen)
    • Dierl, Simon, M.Sc.
    • Dr. Andrej Dudenhefner
    • Hildebrand, Lars, Dr.
    • Kallat, Fadil, M. Sc.
    • Laarmann, Felix, M. Sc.
    • Dr. Malte Mauritz
    • Mues, Malte, M.Sc.
    • Naujokat, Stefan, Dr.
    • Riest, Christian, M. Sc.
    • Schallau, Till, M. Sc.
    • Stahl, Christoph, M. Sc.
    • Winkels, Jan, Dr.-Ing.
  • Technische Mitarbeiter
    • Peter Svoboda
  • Studentische Hilfskräfte
  • Ehemalige Mitarbeiter
    • Bessai, Jan, Dr.
    • Czajka, Lukasz, Dr.
    • Düdder, Boris, Dr.
    • Helmut Henning
    • Kallat, Fadil, M. Sc.
    • Paternoster-Bieker, Iris, Dipl.-Inf.
    • Schäfer, Tristan, M. Sc.
    • Schmedding, Doris, Dr.
    • Steffen, Barbara, M.Sc.
    • Vasileva, Anna, Dipl.-Inf.
• Lehre
  • Lehrveranstaltungen
    • Sommersemester 2023
      • ATLSE
      • FuPro
      • MGSE
      • MNP (ehemals eGP)
      • Proseminar Einführung in die Kategorientheorie
      • Proseminar Automotive Software Engineering
    • Wintersemester 2022/23
      • Digital Engineering
      • EINI
      • LMSE 1
      • LMSE 2
      • Pionierinnen der Informatik
      • Principles of Programming Languages
      • Software Verification
      • Softwarekonstruktion
      • Virtuelle Fertigung
    • Sommersemester 2022
      • EGP
      • FuPro
      • Geschichte der Programmierung
      • Informatik trifft Maschinenbau
      • MGSE
      • Pionierinnen der Informatik
      • Softwarekonstruktion
    • Wintersemester 2021/22
      • Digital Engineering
      • EINI
      • LMSE 1
      • LMSE 2
      • Pionierinnen der Informatik
      • POPL
      • Softwarekonstruktion
    • Sommersemester 2021
      • ATLSE
      • EGP
      • FuPro
      • Geometrische Modellierung von Fertigungsprozessen
      • Geschichte der Programmierung
      • Informatik trifft Maschinenbau
      • MGSE
      • SimTechII
      • Pionierinnen der Informatik
      • Simulationsgestützte Prozessanalyse in der spanenden Fertigung
      • Virtuelle Fertigung
      • Seminar Sichere autonome Systeme
    • Wintersemester 2020/21
      • Digital Engineering
      • EINI
        • Blatt10
        • Blatt11
      • Geometrische Modellierung von Fertigungsprozessen
      • Informatik trifft Maschinenbau
      • LMSE 1
      • LMSE 2
      • Softwarekonstruktion
    • Sommersemester 2020
      • ATLSE
      • ElektrGP
      • Formale Methoden in der IT-Sicherheit
      • Geometrische Modellierung von Fertigungsprozessen
      • Geschichte der Programmierung
      • Informatik trifft Maschinenbau
      • MGSE
      • Virtuelle Fertigung
      • Simulationsgestützte Prozessanalyse in der spanenden Fertigung
      • SiA: Komponenten für autonome Rennwagen
      • Spanende Fertigung von Luftfahrtkomponenten
      • Proseminar Vorgehensmodelle und Reifegradmodelle
    • Wintersemester 2019/20
      • EINI
        • Blatt09
        • Blatt10
      • Geometrische Modellierung von Fertigungsprozessen
      • Informatik trifft Maschinenbau
      • LMSE 1
      • LMSE 2
      • POPL
      • Softwarekonstruktion
      • Proseminar Software Verification
      • Seminar Sicherheit autonomer Fahrfunktionen
    • Sommersemester 2019
      • ElektrGP
      • Geschichte der Programmierung
      • MGSE
      • SimTechII
      • Proseminar Software Verification
    • Wintersemester 2018/19
      • Digital Engineering
      • EINI
        • Zusatzdateien Blatt11
        • Blatt12
        • Zusatzdateien Blatt10
      • Informatik trifft Maschinenbau
      • LMSE 1
      • LMSE 2
      • Planspiel
      • POPL
      • Softwarekonstruktion
      • Seminar Automotive Software Engineering
    • Sommersemester 2018
      • ElektrGP
      • Geschichte der Programmierung
      • Informatik trifft Maschinenbau
      • MGSE
      • Planspiel
      • SimTechII
      • Proseminar Symbolic Execution
    • Wintersemester 2017/18
      • Digital Engineering
      • EINI
      • Informatik trifft Maschinenbau
      • LMSE
      • Planspiel
      • Softwarekonstruktion
    • Sommersemester 2017
      • CloudComputing
      • ElektrGP
      • KSOS
      • NCFraesen
      • Planspiel
      • PGDFS
      • SimTechII
    • Wintersemester 2016/17
      • EINI
        • Einführung in die Informatik - Grundlagen Eclipse
      • ElektrGP
      • LMSE
      • Projektmanagement
      • SFL
      • Software-Praktikum
      • Softwarekonstruktion
    • Sommersemester 2016
      • MGSE
      • Software-Praktikum
    • Wintersemester 2015/16
      • LMSE
      • Projektmanagement
      • ProzessSynthese
      • SFL
      • Software-Praktikum
      • SWK
    • Sommersemester 2015
      • ElektrGP
      • KSOS
      • Software-Praktikum
    • Wintersemester 2014/15
      • GePro
      • LMSE
      • Projektmanagement
      • Software-Praktikum
    • Sommersemester 2014
      • CloudComputing
      • ElektrGP
      • Software-Praktikum
    • Sommersemester 2013
      • AIPlanning
      • ElektrGP
      • LMSE
    • Archiv
  • Abschlussarbeiten
    • DiDo-Seminar
    • DiDo Vortragsliste
  • Projektgruppen
    • 625: EaT CTFs
    • KoKoVa
• Kontakt
• Barrierefreiheit