Writing your thesis at TGI

If you are interested in writing a thesis (Bachelor or Master/Diploma), feel free to contact any member of TGI.

We supervise thesis in our areas of expertise, but if you have another interesting topic don't hesitate to ask.

Als Hilfe für Ihre Arbeit:

• Template for Talks and Seminars [ZIP]
• Guidelines for an Thesis Expose

List of recent Thesis (Selection)

Die folgenden Arbeiten wurden von Mitgliedern der Arbeitsgruppe betreut. Bei Interesse können die Arbeiten in der Bibliothek eingesehen werden.

• Model checking for safe Petri nets and EOS
  Niklas Steenfatt, Bachelorarbeit, 2015.
• Algorithmen für Paritätsspiele
  Arne Schröder, Masterarbeit, 2014.
• About the Emptiness Problem in LTL and CTL Model Checking
  Jennifer Truong, Bachelorarbeit, 2014.
• Productautomata in the context of LTL and CTL Model Checking
  Paula Rachow, Bachelorarbeit, 2014.
• Translating Formula to Automata for LTL and CTL Model Checking
  Felix Wiedemann, Bachelorarbeit, 2014.
• Zu ω-Automaten und zur Komplementierung von Büchi-Automaten.
  Felix Riegler, Bachelorarbeit, 2013.
• Darstellung des Forschungsstandes zu Petrinetzmodifikationen in Bezug auf den Erhalt von Netzeigenschaften.
  Felix Kiehn, Bachelorarbeit, 2013.
• Färbbarkeit bei Graphen und Switching Graphen.
  Bianca Noack, Bachelorarbeit, 2013.
• LTL-Zustandsraumanalyse von Elementaren Objekt-Petrinetzen mit Maude.
  Felix Garbe, Diplomarbeit, 2012.
• Hierarchische Workflow-Netze.
  Nikolas Lohmann, Diplomarbeit, 2012.
• Werkzeugunterstützung für organisationsorientierte Modellierung in Sonar.
  Jan Bolte, Bachelorarbeit, 2012.
• Entscheidbarkeitsresultate bei Petri-Netzen mit endlichen und unendlichen Zustandsräumen.
  Florian Jensen, Diplomarbeit, 2011.
• Algorithmische Betrachtung von Switching Graphs
  Jan Henrik Röwekamp, Bachelorarbeit, 2011.