Abschlussarbeiten

Studentische Arbeiten

Folgende Materialien helfen beim Erstellen von wissenschaftlichen Arbeiten:

  • Vorlage für Studien-, Bachelor und Masterarbeiten am FG Echtzeitsysteme [Github]
  • Vorlage für Präsentationen am FG Echtzeitsysteme [Github]

Offene Arbeiten

Statische Analyse von Timed Automata

Master-Thesis

Zertifikatsprüfung Timed Bisimulation

Bachelor-Thesis, Master-Thesis

Verbindung des TChecker Frontends mit TChecker

Bachelor-Thesis

Laufende Arbeiten

Distributed Computation of the GIPS Framework for Virtual Network Embedding in Data Centers

Master-Thesis

Krankenhausschichtplanung durch graphbasierte ILP-Spezifikationen

Bachelor-Thesis

Abgeschlossene Arbeiten

Zu den abgeschlossenen Arbeiten