Abschlussarbeiten

Wir betreuen Abschlussarbeiten auf den folgenden Gebieten:

Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme (z.B. Model Checking).: Dr.rer.nat. Bastian Schlich
Testen von Eingebetteten Systemen (im industriellen Umfeld): Dipl.-Inform. Ralf Mitsching
Modellbasierte Entwicklungsprozesse in der Regelungs- und Softwaretechnik: Dipl.-Inform. Andreas Polzer
Sicherheit in medizintechnischen Anwendungen: Dipl.-Ing. Andre Stollenwerk
Architekturen für zeitkritische, generische Rechnersysteme mit dem Schwerpunkt Messen: Dipl.-Inform. John F. Schommer
Statische Analyse von C-Code, Sicherheit in Automobilanwendungen: Dipl.-Inform. Eva Beckschulze

Bitte wenden Sie sich bei Interesse direkt an den entsprechenden wissenschaftlichen Mitarbeiter.

Offene Abschlussarbeiten