Suche

Bachelor- und Masterarbeiten


Die Lehrprofessur für Informatik bietet Bachelor- und Masterarbeiten in folgenden Themenbereichen an:

  • Halbordungsbasierte Semantiken von Petrinetzen (z.B. Synthese von Petrinetzen aus nicht-sequentiellen Verhaltensbeschreibungen, Entfaltung von Petrinetzen und Entfaltungs-basiertes Model-Checking, Geschäftsprozess-Modellierung)
  • Theorie und Anwendung von Petrinetz-Transduktoren (z.B. Algorithmen zur Komposition, Simulation und Optimierung von Petrinetz-Tranduktoren, Modellierung quantitativer Aspekte nebenläufiger Systeme, Semantische Dialogmodellierung, Verarbeitung semantischer Inhalte)
  • Process Mining (z.B. Anwendung von Synthese-Techniken, Statistische Methoden, Entwicklung von PROM-Plugins)
  • Softwaresysteme zur Unterstützung in der Lehre (z.B. grafische UML-Editoren, Skriptsysteme, Übungsaufgabenverwaltung, u.ä.)

Hierbei können unterschiedliche Schwerpunkte gelegt werden:

  • Entwicklung formaler Grundlagen und theoretischer Ergebnisse
  • Entwurf und Programmierung unterstützender Softwaretools
  • Evaluation von Ergebnissen und Konzepten
Sie haben nicht gefunden, was Sie suchten? Sie wollen eine praktische Abschlussarbeit in einer Firma absolvieren? Kommen Sie einfach mit Ihrer Idee / Ihrem Vorschlag zu uns