Detailseite
Person
Professor Dr.-Ing. Gregor Snelting
Adresse
Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl Programmierparadigmen
Am Fasanengarten 5
76131 Karlsruhe
-
Als Antragsteller
-
abgeschlossene Projekte
-
Hybride Programmabhängigkeitsanalyse (Sachbeihilfen)
-
Reengineering von Klassenhierarchien mit Begriffsanalyse (Sachbeihilfen)
-
Eingrenzung von Fehlerumständen mit Delta Debugging (Sachbeihilfen)
-
Software-Manipulationsprüfung (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als beteiligter Wissenschaftler
-
abgeschlossene Projekte
-
GRK 806: Mathematische Logik und Anwendungen (Graduiertenkollegs)
-
-
abgeschlossene Projekte
-
Als Teilprojektleiter
-
abgeschlossene Projekte
-
Grundlagen Invasiven Rechnens (Transregios)
-
Übersetzung und Code-Erzeugung für invasive Programme (Transregios)
-
IT-Sicherheit bei invasivem Rechnen (Transregios)
-
-
abgeschlossene Projekte
