Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

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. Dr.-Ing. 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. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Analysis of Configuration Coverage in Linux
Supervisors: Prof. Dr.-Ing. 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. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann


Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Andreas Ziegler, M. Sc.


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, Andreas Ziegler, M. Sc., 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