Diplom- und Masterarbeiten

Zuverlässigkeit und Fehlertoleranz

• Zuverlässigkeitsbewertung von Netzen mit Hilfe von effizienten Reduktionsverfahren (eingetragen am 1.3.2010)
• Implementierung eines Simulators für fehlertolerante Cache-Hierarchien (eingetragen am 1.3.2010)
• Automatische Erzeugung von stochastischen Petrinetzen zur Bewertung fehlertoleranter Systeme (eingetragen am 1.3.2010)
• Monte-Carlo Simulation von Zuverlässigkeitsmodellen fehlertoleranter Systeme (eingetragen am 1.3.2010)
• Verbesserung der Gefährdungsidentifikation bei Änderungen an Fahrzeugsoftware der Deutsche Bahn AG (eingetragen am 19.10.2009)
• Entwicklung eines Werkzeugs zur quantitativen Analyse sicherheitskritischer Systeme (eingetragen am 29.10.2009)
• Transformation von AADL-Modellen für ein Framework zur Analyse fehlertoleranter Systeme (eingetragen am 29.10.2009)
• Transformation von SysML-Modellen für ein Framework zur Analyse fehlertoleranter Systeme (eingetragen am 29.10.2009)

Bioinformatik

• 3D Visualisierung von molekularbiologischen Daten - Genomdaten und deren Gensignaturen (Bioinformatik in der Nanodiagnostik) (eingetragen am 15.03.2010)
• Entwicklung einer Client-Anwendung zur Online-Suche von Genomdaten (Bioinformatik in der Nanodiagnostik) (eingetragen am 15.03.2010)

GPGPU - CUDA/OpenCL

• Lösung der Grad-Shafranov Gleichung auf NVIDIA GPUs (eingetragen am 23.02.2010)
• Implementierung und Vergleich von Metropolis-Hastings und Parallel Tempering Markov Chain Monte Carlo (MCMC) Algorithmen (eingetragen am 23.02.2010)