Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Diplomarbeiten (Archiv)

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

• Berger, Felix: A test and verification environment for Java programs, Diplomarbeit Nr. 23, 2006.