Angebotene Diplomarbeiten, Softwarepraktika und Studienarbeiten

Im folgenden finden Sie eine Liste angebotener Arbeiten. Darüber hinaus können Sie sich auf den jeweiligen Projektseiten über mögliche Themen für Diplomarbeiten, Softwarepraktika und Studienarbeiten informieren.

Projekt / Thema	Eignung für			Bemerkung
	Dipl.-Arb.	Stud.-Arb.	Sopra
Petri-Netz-Entfalter: Entfaltungen für synchrone Produkte
Model-Checking Kit: Integration von SDL
Einfaches Lehr- und Lernprogramm (zum SS 2006)				vergeben
Einfaches Schachprogramm (zum SS 2006)				leider abgebrochen
Java-Verifikation: A Testing and Verification Environment for Java Programs				vergeben
Effiziente Verfahren zur Entfaltung von Graphtransformations-Systemen				vergeben
Erzeugung von Testfällen für Code-Generatoren				vergeben
Eine Bibliothek für die Manipulation kontextfreier Grammatiken				vergeben
Implementierung und Visualisierung von Algorithmen zur Konstruktion, Manipulation und Auswertung von deterministischen Mealy-Maschinen				vergeben
Visualisierung von Adventure-Automaten				vergeben
Einfaches Schachprogramm (zum SS 2007)				vergeben
Selbstgewähltes Thema (zum SS 2007)				vergeben

Wenden Sie sich bei Interesse einfach an die angegebenen Kontaktpersonen.

Abgeschlossene Arbeiten

• Christian Demler, Marco Serra: Ein System zur automatischen Abfrage von Online-Literaturverzeichnissen (Softwarepraktikum)


• Sinan Turan: Effiziente Berechnung der Überdeckbarkeit bei Petri-Netzen (Studienarbeit Nr. 1935) [Postscript]


• Nicolas Relange: Verifikation dynamischer Systeme: Reguläre Ausdrücke zur Spezifikation verbotener Pfade (Diplomarbeit Nr. 2192) [Postscript]


• Mario Bittner, Peter Reimann, Patrick Schaffroth: Analyse von Solitaire-Spielen mit Model-Checking (Softwarepraktikum) [Implementierung] [PDF]


• Dejvuth Suwimonteerabuth: Verifying Java Bytecode with the Moped Model Checker (Master Thesis Nr. 2193) [Thesis] [Implementierung]


• Saravanan Mahadevan: Implementation of a Consistency Test for Free-Choice Signal Transition Graphs (Master Thesis Nr. 2186) [PDF] [Implementierung]


• Julian Bart: Integration von PNML in das Model-Checking Kit (Studienarbeit Nr. 1940) [PDF]


• Andreas Gaiser, Frederik Stahr: wAnalyzer - ein Tool für die Datenflussanalyse (Softwarepraktikum) [Implementierung]


• Andreas Benzing, Pedro Sebastiao Correa, Annette Hamm, Euripides Kitsos, Beate Ottenwälder, Andreas Wild: Programminerung eines Multiprotokoll-Instant Messengers (Softwarepraktikum) [Implementierung]


• Lars Heinemann: Unit testing in a large scale development environment (Diplomarbeit Nr. 2247)


• Stefan Kiefer: Abstraction refinement for pushdown systems. (Diplomarbeit Nr. 2284) [PDF]


• Julian Bart: Effiziente Entfaltungsalgorithmen für Graphersetzungssysteme (Diplomarbeit Nr. 2290) [PDF]


• Martin Horsch: Test Case Generation for Rule-based Translators (Studienarbeit Nr. 1984) [Postscript]


• Yuri Grosman: Erweiterung des Model-Checking-Kits auf M-Netze (Diplomarbeit Nr. 2361)


• Timur Tsotniashvili: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln (Diplomarbeit Nr. 2431)


• Arwed v. Merkatz: Analyse von Graphtransformationssystemen mit Hilfe von Petrinetzen und Logiken (Diplomarbeit Nr. 2442)


• Felix Berger: A Test and Verification Environment for Java Programs. (Diplomarbeit Nr. 2470) [PDF]


• Andreas Gaiser: Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten. (Studienarbeit Nr. 2096) [PDF]