Dokumente des Instituts

• Artikel in Tagungsbänden
• Tagungsbände
• Seminararbeiten
 

• Dissertationen
• Diplomarbeiten (Archiv)
• Fachstudien Softwaretechnik

• Raza, Aoun; Vogel, Gunther: RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. In: Kordon, Fabrice (Hrsg); Vardanega, Tullio (Hrsg): 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 (Hrsg); Kaiser, Uwe (Hrsg); Quante, Jochen (Hrsg); Winter, Andreas (Hrsg): Proceedings of the 10th Workshop Software Reengineering (WSR 2008), 5. - 7. May 2008, Bad Honnef.

• Klenk, Herbert (Hrsg); Keller, Hubert B. (Hrsg); Plödereder, Erhard (Hrsg); Dencker, Peter (Hrsg): 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, Seminararbeit, 2008.
• Reimann, Steffen: Sicherheitslücken durch statische Analyse aufdecken, Seminararbeit, 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, Dissertation, 2008.

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

• Kottmann, Pierre; Megerlin, Markus; Titze, Robert: Bauhaus - First Contact, Fachstudie Softwaretechnik Nr. 79, 2008.