Professor Dr.-Ing. Stefan Jähnichen

Adresse Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Marchstraße 23
10587 Berlin

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Generische Modellierung und Simulation hybrider Systeme mit adaptiver Modellierungstiefe (Schwerpunktprogramme)
  - Kern-Algorithmen zum Lernen in Feature-Räumen (Sachbeihilfen)
  - Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen (Schwerpunktprogramme)
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab (Sachbeihilfen)
  - Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen (Sachbeihilfen)
  - Konstruktion und Verifikation eingebetteter echtzeitfähiger Steuerungssoftware und ihrer Transformation in ausführbaren Code unter besonderer Berücksichtigung von Multicore und Adaptivität (Sachbeihilfen)
  - Automatische Modellierung und Simulation von technischen Systemen mit Unsicherheit (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab (Sachbeihilfen)
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab (Sachbeihilfen)
  - Spezifikation und Verifikation objektorientierter Design-Patterns im Kontext nebenläufiger Objektsemantiken (Sachbeihilfen)