VAMOS Theses
Open Topics
Ongoing Theses
Finished Theses
- A Filesystem-Based Approach to Support Software Product Line Development with Editable Views (LEVIATHAN)
- Student: Frank Blendinger (handed in on 05.10.2010, Thesis file...)
- Supervisors: Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Christoph Elsner, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
- A Robust and Portable Approach for extracting Build-System Variability
- Student: Christian Dietrich (handed in on 12.07.2012, Thesis file...)
- Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Analysis of Configuration Coverage in Linux
- Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler
- Automatic Tailoring of the Multi-Purpose Linux Operating System on Embedded Devices
- Student: Bernhard Heinloth (handed in on 10.09.2014, Thesis file...)
- Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann
- Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
- Student: Jonas Rabenstein (handed in on 09.04.2016 )
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Dr.-Ing. Andreas Ziegler
- Entwurf und Realisierung eines Werkzeugs zur Analyse von Variabiltät im Linux-Betriebssystemkern (LIFE-GUI)
- Student: Julian Rith (handed in on 18.06.2010 )
- Supervisors: Dr.-Ing. Reinhard Tartler, Dr.-Ing. Julio Sincero
- Konfigurationsanalyse mit SAT Lösern (VAMOS-SAT)
- Supervisors: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Lightweight Extraction of Variability Information from Linux Makefiles (CADOS_MINIGOLEM)
- Student: Ruprecht Andreas (handed in on 27.04.2015, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann
- Performance Improvements of the Undertaker by Incremental SAT-Solving (CADOS_INCREMENTAL_SAT)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann
- Variabilität in ad hoc konfigurierten Software Projekten (VAMOS-COREUTILS)
- Student: Michael Fiedler (handed in on 28.9.2012 )
- Supervisors: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Variabilitätsgewahre Analysen im FIASKO/L4-Mikrokernel (VAMOS-FIASKO)
- Supervisors: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
- Student: Patrick Plagwitz (handed in on 21.12.2015, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Valentin Rothberg, M. Sc.
- Years of Variability Bugs in Linux - How to Avoid Them
- Student: Valentin Rothberg (handed in on 01.08.2014, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann