List of completed Bachelor and Master theses

current as of January 2024


  • S. A. N., Developing a Log Message Analyzer for Model Railway Diagnosis and Monitoring, Bachelor Thesis, January 2023
  • C. R., Improved Software Traceability: Visualizing Statement-Level Test-to-Code Relationships, October 2023


  • V. V., Quality Metrics for Text-based Artifacts of Agile Development Projects, February 2022
  • P. A. C., A Case Study in Decentralized Load and Performance Testing for Banking IT-Services, June 2022


  • B. M. L., MBTbahn: A Case Study of Model-based Testing for Safe Railway Operations, Master Thesis, November 2021
  • T. H., SWTbahn Emulator: A Digital Twin of a Computer-Controlled Model Railway, Bachelor Thesis, June 2021


  • B. P., Developing a Test Automation Toolkit for a Manufacturing Execution System, Bachelor Thesis, December 2020
  • J. A. S., Evaluating Low-Budget Tools for Requirements Management, Master Thesis, July 2020
  • F. G., SWLdocu - A Software Tool for Teaching SCRUM Documentation, Bachelor Thesis, May 2020


  • G. K. S. S., WIAI Timetabler: Software Support for the Timetabling of Courses, Master Thesis, December 2019
  • N. T. N., BahnDSL: A Domain-Specific Language for Configuring and Controlling Railways, Master Thesis, November 2019
  • J. S., Konzeption eines Softwaredokumentationsprozesses für agil entwickelte sicherheitskritische Systeme, Master Thesis, May 2019
  • J. H. B., Inference of Shape Predicates from Memory Graphs: Using Separation Logic to Characterize Dynamic Data Structures, Master Thesis, May 2019


  • F. K., Test Cost Estimation for Model-based Embedded Software, Bachelor Thesis, June 2018
  • N. G., Software Support for the Timetabling of Lectures and Practicals at the WIAI Faculty, Bachelor Thesis, September 2018


  • L. W. D., Memory Snapshot Alignment for Data Structure Discovery, Master Thesis, February 2017
  • A. K., Testautomatisierung für den Softwarekomponententest der Bremssteuerungssoftware im Schienenverkehr der Siememns AG, Bachelor Thesis, September 2017


  • J. H. B., Automated Generation of Data Structure Annotations for Pointer Program Verification, Bachelor Thesis, October 2016
  • C. F. M., On Parallelizations of the K-Means Clustering Algorithm, Bachelor Thesis, August 2016
  • K. W., Heap Visualisation Using Interactive Memory Graphs, Bachelor Thesis, May 2016


  • J. M. G., Prototypical Integration of the Model Interface Automata Theory in Google Go, Master Thesis, October 2015


  • J. M. R., Evaluation and Development of Program Obfuscation Techniques to Break Repetitive Program Behaviour, Bachelor Thesis, August 2014


  • L. W. D., Multidimensional Repetitive Pattern Discovery for Locationg Data Structure Operations, Bachelor Thesis, May 2012
  • J. D., Automatisierung funktionaler Test für eine agil-entwickelte, webbasierte ERP-Software für Druckereien, Bachelor Thesis, October 2012


  • T. R., Evaluation of Photo-Realistic Scene Drawing Algorithms Using CUDA, Master Thesis, May 2011


  • A. R., Entwicklung einer erweiterbaren Software Architektur für Informationsterminals, Bachelor Thesis, December 2010
Zuletzt geändert: Dienstag, 16. Januar 2024, 14:36