- Publications of the Department

- Documents of the Department

• Proceedings
 

• Technical Reports
• Diploma Theses (archive)
• Master Theses
• Student Theses (archive)
 

• Bibliography 2013 BibTeX     ( Download )

• Keller, Hubert B. (ed); Plödereder, Erhard (ed); Dencker, Peter (ed); Klenk, Herbert (ed): Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013, Springer, 2013.

• No. 06:  Felden, Timm: The SKilL Language, Technical Report No. 2013/06.

• Glück, Sven Hendrik: Kombinierung von Programmiermodellen in Bauhaus IML, Diploma Thesis No. 3357, 2013.

• Munk, Peter: Visualization of Scheduling in Real-Time Embedded Systems, Master Thesis No. 3372, 2013.

• Zschiesche, Jannik: Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby, Student Thesis No. 2420, 2013.