Sommersemester 2015

Projektgruppe "Praxis der Forschung"

Termine:

Projektthemen im Sommersemester 2015

Die Themenfelder für das Sommersemester 2015 sind:

  • Telematik
  • Formale Methoden der Software-Entwicklung
  • Softwaretechnik
  • Hochperformante Humanoide Technologien
Die folgende Liste gibt einen Überblick über Themen, die im kommenden Semester voraussichtlich ausgeschrieben werden. Bei Interesse an einem Thema oder Fragen dazu kann der betreffende Mitarbeiter angeschrieben werden.

Die endgültige Liste der ausgeschriebenen Themen wurde auf der Informationsveranstaltung zu Semesterbeginn (s.o.) bekannt gegeben und kann im Handout nachgelesen werden.

  1. Langzeitstudiensystem mit automatischer Groundtruthsammlung für die gerätefreie, funkbasierte Aktivitätserkennung
    (Lehrstuhl Prof. Beigl, Betreuer: Markus Scholz)
  2. Entwicklung nutzbarer Entwicklungstools und Schnittstellen und Beurteilung ihrer User Experience für Entwickler
    (Lehrstühle Prof. Beckert und Prof. Beigl, Betreuer: Matthias Berning und Sarah Grebing)
  3. Evaluierung der User Experience von Verifikationswerkzeugen
    (Lehrstühle Prof. Beckert und Prof. Beigl, Betreuer: Matthias Berning und Sarah Grebing)
  4. Exploring Context-Recognition with Dust Sensors (Lehrstuhl Prof. Beigl, Betreuer: Matthias Budde)
  5. Smartphone-based mood sensing to support ambulatory assessment
    (Lehrstuhl Prof. Beigl, Betreuer: Anja Bachmann (E-Mail))
  6. Smartphone-based group detection and social sensing
    (Lehrstuhl Prof. Beigl, Betreuer: Anja Bachmann (E-Mail))
  7. Measuring cognitive load while mobile app usage by leveraging app analytic techniques
    (Lehrstuhl Prof. Beigl, Betreuer: Anja Bachmann (E-Mail))
  8. Modellbasierte semiautomatische Unterstützung des Architekturentwurfs nach Anforderungsänderungen
    (Arbeitsgruppe Jun.-Prof. Koziolek und Lehrstuhl Prof. Reussner, Betreuer: Kiana Rostami, Axel Busch und Robert Heinrich)
  9. Regressionsverifikation für sicheren Informationsfluss
    (Lehrstuhl Prof. Beckert, Betreuer: Daniel Bruns (E-Mail) und Mattias Ulbrich (E-Mail))
  10. Verifikation relationaler Eigenschaften von Wahlverfahren
    (Lehrstuhl Prof. Beckert, Betreuer: Thorsten Bormer (E-Mail) und Mattias Ulbrich (E-Mail))
  11. Taxonomies of Whole-Body Motion (Lehrstuhl Prof. Asfour, Betreuer: Julia Borras Sol)
  12. Emotion in Motion (Lehrstuhl Prof. Asfour, Betreuer: Julia Borras Sol)
  13. The Perception of Time (Lehrstuhl Prof. Asfour, Betreuer: Eren Erdal Aksoy)
  14. Action and Language: Grounding Visual Cues with Textual Information (Lehrstuhl Prof. Asfour, Betreuer: Eren Erdal Aksoy)
  15. Automatisierte Unterstützung von dynamischen Updates in Java
    (Lehrstuhl Prof. Beigl, Betreuer: Martin Alexander Neumann (E-Mail))
  16. Forward-Secure Digital Signatures (Lehrstuhl: Prof. Müller-Quade, Betreuer: Brandon Broadnax)

Zu den Themen aus dem Wintersemester 2014/15.

Veranstaltungen und Termine

Veranstaltungen und Termine vergangener Jahrgänge finden sich im Archiv.