- Veröffentlichungen der Abteilung

- Dokumente der Abteilung

• Technische Berichte
• Dissertationen
• Diplomarbeiten (Archiv)
• Masterarbeiten

• Nr. 03:  Staiger-Stöhr, Stefan: Implementing Sparse Flow-Sensitive Andersen Analysis, Technischer Bericht Nr. 2009/03.

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

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

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