- Publications of the Department

- Documents of the Department

• Articles in Proceedings
 

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

• Bibliography 2007 BibTeX     ( Download )

• Lösch, Felix; Plödereder, Erhard: Optimization of Variability in Software Product Lines. In: IEEE Computer Society (ed.): Proceedings of the 11th International Software Product Line Conference (SPLC 2007), Kyoto, Japan, 10.-14. September 2007.
• Lösch, Felix; Plödereder, Erhard: Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations. In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, 21.-23. März 2007.
• Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
• Staiger, Stefan: Reverse Engineering Graphical User Interfaces using Static Analyses. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
• Staiger, Stefan: Statische Analyse von graphischen Oberflächen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen September 2007.
• Staiger, Stefan: Static Analysis of Programs with Graphical User Interface. In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), 21-23 March 2007, Amsterdam.
• Vogel, Gunther: Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007.

• No. 03:  Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus, Technical Report No. 2007/03.

• Heit, Juergen: Impact of methods and mechanisms for improving software dependability on non-functional requirements, Diploma Thesis No. 2548, 2007.
• Jung, Benjamin: Analyse der Struktur von Software-Protokollen, Diploma Thesis No. 2591, 2007.

• Reuß, Andreas: Algorithmen zur Berechnung von Kontrollabhängigkeiten, Student Thesis No. 2122, 2007.
• Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis, Student Thesis No. 2108, 2007.

• Geisselmeier, Benjamin; Wiedersheim, Sebastian; Breier, Sebastian: Bauhaus - First Contact, Student Report Software Engineering No. 80, 2007.