Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Softwaretechnik

Adresse Fürstenallee 11
33102 Paderborn
Deutschland

GERiT Diese Institution in GERiT

33102 Paderborn

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Finden und Bezeugen unerwünschten Programmverhaltens
    (Antragsteller Bodden, Eric ; Zeller, Ph.D., Andreas )
  - Fuzzy Logik basierte Interaktive Erkennung von Entwurfsmusterimplementierungen
    (Antragsteller Schäfer, Wilhelm )
Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
    (Antragsteller Bodden, Eric )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Hybride statisch/dynamische Datenflussanalyse über Prozessgrenzen hinweg
    (Antragsteller Hähnle, Reiner )
  - Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung
    (Antragsteller Gausemeier, Jürgen )
Sonderforschungsbereiche
- laufende Projekte
  - Sichere Integration kryptographischer Software
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Mezini, Mira )
  - Sichere Integration von Anwendungs-Programmierschnittstellen
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Mezini, Mira )
  - Zuverlässige und automatisierte codebasierte Analyse von Open-Source-Abhängigkeiten (Reaktor)
    (Teilprojektleiter Bodden, Eric )
- abgeschlossene Projekte
  - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor)
    (Teilprojektleiter Bodden, Eric )
  - Entwurfsprozesse, Methoden und Werkzeuge für den Entwurf selbstoptimierender Systeme
    (Teilprojektleiter Gausemeier, Jürgen ; Schäfer, Wilhelm )
  - Entwurfstechniken für selbstoptimierende Multiagentsysteme mit mechatronischen Komponenten
    (Teilprojektleiterinnen / Teilprojektleiter Schäfer, Wilhelm ; Wehrheim, Heike )
  - Hybride Modellierung - Integration hybrider Modellierungs- und Validierungstechniken in CAMeL-View
    (Teilprojektleiter Schäfer, Wilhelm )
  - Parametrisierte Servicespezifikation
    (Teilprojektleiterinnen / Teilprojektleiter Engels, Gregor ; Geierhos, Michaela ; Hamann, Heiko ; Schäfer, Wilhelm ; Wachsmuth, Henning )
  - Proof-Carrying Services
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Forschungsdaten und Software
- abgeschlossene Projekte
  - Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation (FutureSoot)
    (Antragsteller Bodden, Eric ; Kabst, Rüdiger )

© 2024 DFG Kontakt / Impressum / Datenschutz