· Pattern-Based Software Development (problem frames)
· Software Quality Assurance and Dependability (formal verification and testing)
· Formal Methods and Software Specification Techniques (B, LUSTRE, UML)
· Embedded Systems (mobile and distributed applications)

Tool zur Dokumentation und Prüfung von Sicherheitsanforderungen und Sicherheitsmaßnahmen in Cloud-Computing-Services.

Proposed Bachelor, Diploma and Master thesis

Information concerning final theses...

Already finished Bachelor, Diploma and Master thesis

Year	Author	Title	Type
2019	Mostafa Mousa	Development of a Security Architecture in a Virtualized Environment	Master
2019	Milad Akhavanfar	Problems addressed by ISO 27001 Controls and Statement-of-Applicability Patterns	Master
2018	Christoph Kerscher	Development of a Structure for Consideration of the Environment in Hazard Analyses for Automotive Systems	Master
2018	Celil Uzunel	Methodisches Ableiten und Validieren einer Microservices-Architektur	Master
2016	Paul Parenko	Mapping from ISO 26262 (Functional Safety Standard) to ADIT	Master
2014	Hendrik Niechciol	Vergleich und Bewertung leichtgewichtiger Client-/Server-Kommunikationsprotokolle im JEE-Umfeld	Bachelor
2014	Celil Uzunel	Portalserver als Entwicklungsframework	Bachelor
2013	Julija Wolf	Strukturiertes Requirements-Engineering für Virtual Reality Ein- und Ausgabegeräte unter Berücksichtigung von Qualitätsanforderungen	Diplom
2012	Sascha Voetee	Generation of Architectures based on Problem Descriptions by Interactive Model Transformation	Diplom
2010	Nazila Gol Mohammadi	Real-Time testing using UML Environment Models	Master
2010	Shamshad Naveed	Automatic validation of UML specifications based on UML environment models	Master
2008	Fengjie Sun	Test case generation based on UML environment models	Master
2008	Muhammad Iman Santoso	Tauglichkeit der Notationen SysML im Feld Maschinenbau und Logistik	Master
2007	Rajitha Dandu	DePES/Fusion-based Development of a Mobile Data Logger for Nokia Multimedia Phones	Master
2006	Elisha Gama	Using the B-Method for Embedded Systems Development	Bachelor

· Recherche

Computer and Information Science Papers
The ACM digital library

· Brainstorming

LEO German-English Dictionary
Wikipedia

· LaTeX References

LaTeX for complete novices (Nicola Talbot)
LaTeX@TUC, Advanced LaTeX (Tim Love)
The LaTeX Beamer class homepage

· LaTeX Downloads4Windows

MiKTeX
TeXnicCenter
InkScape
cygwin mit Xfig

· HTML

SELFHTML (Stefan Münz)

Office hours by arrangment