Documents of the Institute

• 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.
• Breitfeld, Manuel: Usability-Anforderungen in der Praxis, Diploma Thesis No. 2869, 2009.
• Podolskiy, Igor: Verteilte Versionsverwaltung von hierarchisch-sequentiellen Datenstrukturen am Beispiel von Eisenbahnfahrplänen, Diploma Thesis No. 20, 2009.
• Schumm, Sebastian: Praxistaugliche Unterstützung beim selektiven Regressionstest, Diploma Thesis No. 2923, 2009.

• Byanjankar, Prabin: Analysis of Effects of MISRA-Compliance on the Efficiency of Code Generated for ASCET Models, Master Thesis No. 1, 2009.
• Kabir, Mir Md. Jahangir: Simulation and Visualization of Fluid Behavior in Bio-inspired Self-Assembly Processes, Master Thesis No. 3, 2009.
• Rodríguez, Antonio Patricio Bernal: 3D Detection of People, Master Thesis No. 4, 2009.