I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Master's Theses

2011

Rene Neumann. Development of a concurrent language featuring a type system based on boolean implications. Master's thesis, Technische Universität München, 2011.
PDF (709 kB)
Info
Ruslan Ledesma-Garza. Verification of Temporal Properties of Functional Programs. Master's thesis, Saarland University, 2011.
Info

2010

Jan Kretinsky. Modal transition systems. Master's thesis, Masaryk University, Brno, Dept. of Mathematics, 2010.
Info

2009

Jan Kretinsky. Fundamental properties of probabilistic branching-time logics. Master's thesis, Masaryk University, Brno, Dept. of Computer Science, 2009.
Info

2006

Andreas Holzer. Description Languages for Malicious Software. Master's thesis, Technische Universität München, November 2006.
Info
Stefan Kugele. Efficient Solving of Combinatorial Problems using SAT-Solvers. Master's thesis, Technische Universität München, October 2006.
PDF (2 MB)
Info
Michael Tautschnig. Development of a tool to solve mixed logical/linear constraint problems. Master's thesis, Technische Universität München, February 2006.
PDF (344 kB)
Info

2005

Achim Rettinger. Opponent-adaptive online multiagent learning - concept-recall with expert ensembles for simulated-soccer-agents. Master's thesis, University of Koblenz, Germany, October 2005.
Info
Stefan Kiefer. Abstraction refinement for pushdown systems. Master's thesis, Universität Stuttgart, 2005.
GZipped PostScript (329 kB)
PDF (557 kB)
Info
Johannes Kinder. Model checking malicious code. Master's thesis, Technische Universität München, 2005.
GZipped PostScript (359 kB)
PDF (472 kB)
Info

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 ...

2001

J. Bauer. A Control-Flow-Analysis for Multi-Threaded Java with Security Applications. Master's thesis, Saarland University, 2001.
GZipped PostScript (216 kB)
Info

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 ...