- Publications of the Department

- Documents of the Department

• Technical Reports
• Dissertations
• Diploma Theses (archive)
• Master Theses

• No. 03:  Staiger-Stöhr, Stefan: Implementing Sparse Flow-Sensitive Andersen Analysis, Technical Report No. 2009/03.

• Staiger-Stöhr, Stefan: Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss, Doctoral Thesis, 2009.

• Billau, Felix: Erzeugung der Bauhaus-Zwischendarstellung für große Programme, Diploma Thesis No. 2918, 2009.

• Byanjankar, Prabin: Analysis of Effects of MISRA-Compliance on the Efficiency of Code Generated for ASCET Models, Master Thesis No. 1, 2009.