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

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl Programmierparadigmen

Adresse Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76131 Karlsruhe

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Eingrenzung von Fehlerumständen mit Delta Debugging
    (Antragsteller Snelting, Gregor )
  - Hybride Programmabhängigkeitsanalyse
    (Antragsteller Snelting, Gregor )
  - Reengineering von Klassenhierarchien mit Begriffsanalyse
    (Antragsteller Snelting, Gregor )
  - Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
    (Antragsteller Nipkow, Ph.D., Tobias ; Snelting, Gregor )
  - Software-Manipulationsprüfung
    (Antragsteller Snelting, Gregor )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme
    (Antragsteller Müller-Olm, Markus ; Snelting, Gregor )
Transregios
- abgeschlossene Projekte
  - Grundlagen Invasiven Rechnens
    (Teilprojektleiter Snelting, Gregor ; Teich, Jürgen ; Wildermann, Stefan )
  - IT-Sicherheit bei invasivem Rechnen
    (Teilprojektleiter Freiling, Felix ; Schröder-Preikschat, Wolfgang ; Snelting, Gregor )
  - Übersetzung und Code-Erzeugung für invasive Programme
    (Teilprojektleiter Snelting, Gregor ; Teich, Jürgen )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 806: Mathematische Logik und Anwendungen
    (Sprecher Lausen, Georg )

© 2024 DFG Kontakt / Impressum / Datenschutz