Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Diploma Theses (archive)

• No. 06:  Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technical Report No. 2005/06.

• Heinemann, Lars: Unit testing in a large scale development environment, Diploma Thesis No. 4, 2005.
• Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.