Project Details
Person
Professor Dr.-Ing. Gregor Snelting
Address
Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl Programmierparadigmen
Am Fasanengarten 5
76131 Karlsruhe
-
As Applicant
-
Completed projects
-
Hybride Programmabhängigkeitsanalyse (Research Grants)
-
Reengineering von Klassenhierarchien mit Begriffsanalyse (Research Grants)
-
Eingrenzung von Fehlerumständen mit Delta Debugging (Research Grants)
-
Software-Manipulationsprüfung (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Completed projects
-
GRK 806: Mathematical logic and applications (Research Training Groups)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Basics of Invasive Computing (CRC/Transregios)
-
Compilation and Code Generation for Invasive Programs (CRC/Transregios)
-
Security in Invasive Computing Systems (CRC/Transregios)
-
-
Completed projects
