2005
Stefan Kiefer. Abstraction refinement for pushdown systems. Master's thesis, Universität Stuttgart, 2005.	GZipped PostScript (329 kB) PDF (557 kB) Info Slides
2004
Michael Luttenberger. Effiziente Berechnung optimaler Strategien für Paritätsspiele. Master's thesis, Universität Stuttgart, 2004. In German.	Info
Dejvuth Suwimonteerabuth. Verifying Java bytecode with the Moped model checker. Master's thesis, Universität Stuttgart, 2004.	GZipped PostScript (227 kB) Info See www.fmi.uni-stuttgart.de ...
2003
Tobias Heindel. Cyclic -graph reduction, call-by-need, and their process semantics. Master's thesis, Eberhard Karls Universität Tübingen, 2003.	PDF (464 kB) Info
2000
Alin Stefanescu. Flownomial calculus: From theory to practice. Master's thesis, University of Bucharest, 2000. In Romanian.	GZipped PostScript (264 kB) Info See www.fmi.uni-stuttgart.de ...
1998
Stefan Schwoon. Übersetzung von SDL-Spezifikationen in Petri-Netze. Master's thesis, Universität Hildesheim, 1998. In German.	GZipped PostScript (547 kB) Info See theoretica.informatik.uni-oldenburg.de ...