CADOS Theses
Open Topics
Ongoing Theses
Finished Theses
- Analyzing the Internal Consistency of the Linux KConfig Model (CADOS_KCONFIG_CONSISTENCY)
- Student: Stefan Hengelein (handed in on 07.07.2015, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann
- 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
- Entwicklung eines Frameworks zur statischen Maßschneiderung von Binärdateien unter Linux (CADOS_ELFREMOVE)
- Student: Julian Geus (handed in on 07.06.2019 )
- Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Andreas Ziegler
- 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
- 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