Documents of the Institute

• Articles in Proceedings
• Proceedings
• Seminar Papers
 

• Dissertations
• Diploma Theses (archive)
• Student Reports Software Engineering

• Raza, Aoun; Vogel, Gunther: RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. In: Kordon, Fabrice (ed.); Vardanega, Tullio (ed.): Proceedings: Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008.
• Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang: Entwurfsmuster-Erkennung mit Bauhaus. In: Gimnich, Rainer (ed.); Kaiser, Uwe (ed.); Quante, Jochen (ed.); Winter, Andreas (ed.): Proceedings of the 10th Workshop Software Reengineering (WSR 2008), 5. - 7. May 2008, Bad Honnef.

• Klenk, Herbert (ed); Keller, Hubert B. (ed); Plödereder, Erhard (ed); Dencker, Peter (ed): Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 19. und 20. November 2008, Stuttgart, Stuttgart: Shaker Verlag, 2008.

• Bischof, Marc: Interprozedurale SSA-Form Das Konzept der statischen Einmalzuweisung, Seminar Paper, 2008.
• Reimann, Steffen: Sicherheitslücken durch statische Analyse aufdecken, Seminar Paper, 2008.

• Lösch, Felix: Optimization of variability in software product lines: a semi-automatic method for visualization, analysis, and restructuring of variability in software product lines, Doctoral Thesis, 2008.

• Leske, Thomas: Kombinierte statische Analysen, Diploma Thesis No. 2737, 2008.
• Teuber, Arthur: Verbesserung statischer Analysen in praxisrelevanten Faellen, Diploma Thesis No. 2656, 2008.
• Tran, Minh Cuong: Statische Analyse von Programmen mit Bibliotheken, Diploma Thesis No. 2707, 2008.
• Yao, Hongliang: Eine adaptive Steuerung für statische Programmanalysen, Diploma Thesis No. 2756, 2008.

• Kottmann, Pierre; Megerlin, Markus; Titze, Robert: Bauhaus - First Contact, Student Report Software Engineering No. 79, 2008.