Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Diploma Theses (archive)

• No. 01:  König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technical Report No. 2006/01.
• No. 02:  Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technical Report No. 2006/02.
• No. 09:  Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technical Report No. 2006/09.

• Berger, Felix: A test and verification environment for Java programs, Diploma Thesis No. 23, 2006.