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
