VAMOS Theses
Open Topics
Ongoing Theses
Finished Theses
- A Filesystem-Based Approach to Support Software Product Line Development with Editable Views (LEVIATHAN)
- Bearbeiter: Frank Blendinger (beendet am 05.10.2010, Ausarbeitung...)
- Betreuer: 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
- Bearbeiter: Christian Dietrich (beendet am 12.07.2012, Ausarbeitung...)
- Betreuer: 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
- Betreuer: 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
- Bearbeiter: Bernhard Heinloth (beendet am 10.09.2014, Ausarbeitung...)
- Betreuer: 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
- Bearbeiter: Jonas Rabenstein (beendet am 09.04.2016 )
- Betreuer: 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)
- Bearbeiter: Julian Rith (beendet am 18.06.2010 )
- Betreuer: Dr.-Ing. Reinhard Tartler, Dr.-Ing. Julio Sincero
- Konfigurationsanalyse mit SAT Lösern (VAMOS-SAT)
- Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Lightweight Extraction of Variability Information from Linux Makefiles (CADOS_MINIGOLEM)
- Bearbeiter: Ruprecht Andreas (beendet am 27.04.2015, Ausarbeitung...)
- Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann
- Performance Improvements of the Undertaker by Incremental SAT-Solving (CADOS_INCREMENTAL_SAT)
- Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann
- Variabilität in ad hoc konfigurierten Software Projekten (VAMOS-COREUTILS)
- Bearbeiter: Michael Fiedler (beendet am 28.9.2012 )
- Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Variabilitätsgewahre Analysen im FIASKO/L4-Mikrokernel (VAMOS-FIASKO)
- Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
- Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
- Bearbeiter: Patrick Plagwitz (beendet am 21.12.2015, Ausarbeitung...)
- Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Valentin Rothberg, M. Sc.
- Years of Variability Bugs in Linux - How to Avoid Them
- Bearbeiter: Valentin Rothberg (beendet am 01.08.2014, Ausarbeitung...)
- Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann
