- Veröffentlichungen der Abteilung

- Dokumente der Abteilung

• Artikel in Tagungsbänden
• Tagungsbände
• Bücher
 

• Dissertationen
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)
 

• Bibliographie 2006 BibTeX     ( Download )

• Koschke, Rainer; Canfora, Gerarde; Czeranski, Jörg: Revisiting the Delta-IC Approach. In: Journal of Science of Computer Programming 60 (2006), Nr. 2.
• Raza, Aoun; Vogel, Gunther; Plödereder, Erhard: Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. In: Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9,2006.
• Raza, Aoun: A Review of Race Detection Mechanisms. In: Proceedings of the First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006.
• Vogel, Gunther: Statische Extraktion von Protokollen. In: 8. Workshop Software-Reengineering, 2006.

• Plödereder, Erhard (Hrsg); Keller, Hubert B. (Hrsg); Dencker, Peter (Hrsg); Tonndorf, Michael (Hrsg): Automotive - Safety & Security 2006 – Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 12. und 13. Oktober 2006, Universität Stuttgart, Stuttgart: Shaker Verlag, 2006.

• Taft, S.T. (Hrsg); Duff, R.A. (Hrsg); Brukardt, R.L. (Hrsg); Plödereder, E. (Hrsg); Leroy, P. (Hrsg): Ada 2005 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1, Springer Verlag, 2006.

• Simon, Daniel: Lokalisierung von Merkmalen in Softwaresystemen, Dissertation, 2006.

• Becker, Alexander: Implementierung einer aif Binary Decision Diagrams basierenden Zeigeranalyse für C, Diplomarbeit Nr. 24, 2006.
• Schwienbacher, Martin: Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung, Diplomarbeit Nr. 17, 2006.
• Weisshaar, Benedict: Evaluierung von Programmanalysewerkzeugen für die sichere Integration von Fremdsoftware in Kfz-Steuergeräte, Diplomarbeit Nr. 3, 2006.

• Cetin, Tuelay: Statische Analyse von GUI-Programmen, Studienarbeit Nr. 2059, 2006.