Department of Computer Science 4
VAMOS
Publications
People
Theses
Tools and Projects
Dept. of Computer Science
>
CS 4
>
Research
>
VAMOS
>
Theses
VAMOS: Theses
Open Topics
Ongoing Theses
A Robust and Portable Approach for extracting Build-System Variability
Betreuer:
Prof. Dr.-Ing.
Wolfgang Schröder-Preikschat
, Dipl.-Inf.
Reinhard Tartler
, Dr.-Ing.
Daniel Lohmann
, Akad. Rat
Analysis of Configuration Coverage in Linux
Betreuer:
Prof. Dr.-Ing.
Wolfgang Schröder-Preikschat
, Dipl.-Inf.
Reinhard Tartler
Konfigurationsanalyse mit SAT Lösern (VAMOS-SAT)
Betreuer:
Dipl.-Inf.
Reinhard Tartler
, Dr.-Ing.
Daniel Lohmann
, Akad. Rat
Variabilität in ad hoc konfigurierten Software Projekten (VAMOS-COREUTILS)
Betreuer:
Dipl.-Inf.
Reinhard Tartler
, Dr.-Ing.
Daniel Lohmann
, Akad. Rat
Finished Theses
Entwurf und Realisierung eines Werkzeugs zur Analyse von Variabiltät im Linux-Betriebssystemkern (LIFE-GUI)
Bearbeiter: Julian Rith (beendet am 18.06.2010 )
Betreuer:
Dipl.-Inf.
Reinhard Tartler
, Julio Sincero, M. Sc.
Variabilitätsgewahre Analysen im FIASKO/L4-Mikrokernel (VAMOS-FIASKO)
Betreuer:
Dipl.-Inf.
Reinhard Tartler
, Dr.-Ing.
Daniel Lohmann
, Akad. Rat
A Filesystem-Based Approach to Support Software Product Line Development with Editable Views (LEVIATHAN)
Bearbeiter: Frank Blendinger (beendet am 05.10.2010,
Ausarbeitung...
)
Betreuer:
Dipl.-Inf.
Wanja Hofer
, Dr.-Ing.
Daniel Lohmann
, Akad. Rat, Dr.-Ing.
Christoph Elsner
, Prof. Dr.-Ing.
Wolfgang Schröder-Preikschat
Contact
Last modified: 2010-11-02 16:58
RT