Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Diplomarbeiten (Archiv)

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

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