Supervised Thesis - Michael Köhler-Bußmeier
2012
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
2011
On Erasing Productions in Grammars with regulated Rewriting. Georg Zetsche. Diplomarbeit. 2011
Indexsprachen: Eine Sprachfamilie zwischen den kontextfreien und kontextsensitiven Sprachen. Christopher Bartz. Bachelorarbeit. 2011
Lindenmayer-Systeme. Selim Keskin. Bachelorarbeit. 2011
Ein Graphen-basierter Ansatz zum Clustern von Duplikaten unter der Verwendung von Ähnlichkeitsinformation. Finn Petersen. Diplomarbeit. 2011
Analyse unendlicher Zustandsräume. Florian Jensen Diplomarbeit. 2011
2010
Implementation eines leichtgewichtigen Multiagentenrahmenwerks mittels Referenznetzen und Prolog. Andrej Ziegler. Bachelorarbeit. 2010.
Implementation eines Petrinetz-basierten Modells zur Kooperation in Multiagentensystemen. Stefan Mangat. Diplomarbeit
Elliptische Kurven als Grundlage für auf dem Problem des diskreten Logarithmus basierende Public Key-Kryptographie-Systeme. Nina Worch. Diplomarbeit
Wechselseitige Konstruktion von Prozess und Struktur in der Verteilten Küstlichen Intelligenz. Gila Dinter. Diplomarbeit
2009
Methodische Analyse von Maßnahmen zur Abwehr von Zero-DayAttacken. Benjamin Wagrocki. Diplomarbeit
Fingerprinting von Webapplikationen auf der Anwendungsschicht. Adam Wojkowski. Diplomarbeit
Multiset-rewriting. Patrick Totzke. Diplomarbeit
2008
Deployment of Multi-Agent Organizations in MULAN and their Formal Evaluation. Endri Deliu. Diplomarbeit
Organisation in Multiagentensystemen. Zouhair Frindi. Studienarbeit.
Zur Implementation von Petrinetz-Analysealgorithmen.
Stefan Manneck. Diplomarbeit
Vermeidung von Verklemmungen in flexiblen Fertigungssystemen modelliert als Objektpetrinetze.
Frank Sühl.
Diplomarbeit.
Referenznetze mit Anschriften in Scheme.
Friedrich Delgado Friedrichs.
Policy-basierte Konfiguration von verteilten
Netzwerksicherheitskomponenten.
Axel Großklaus. Diplomarbeit.
Über formale Eigenschaften von Objektnetzen.
Stefan Manneck. Studienarbeit
Integration eines Model Checking Tools
an die Petrinetzentwicklunsumgebung RENEW.
Friedrich Delgado Friedrichs. Studienarbeit.
Entwicklung einer alternativen Wertsemantik für Objektpetrinetze
und ihr Invarianzkalkül.
Holger Tiemeyer. Diplomarbeit.
Simulation zeitdiskreter Modelle mit Referenznetzen.
Frauke Strümpel. Diplomarbeit. 2003.
Agentenorientierte Modellierung von Entscheidungsprozessen mit Petrinetzen.
Marcel Martens. Diplomarbeit. 2002
Exemplarische Evaluierung von Modellierungsnansätzen
ereignisorientierter Simulationsszenarien.
Frauke Strümpel. Studienarbeit. 2001
2007
2006
2003
2002
2001