Detailseite
Professor Dr.-Ing. Andreas Zeller, Ph.D.
Adresse
CISPA - Helmholtz-Zentrum für Informationssicherheit
Stuhlsatzenhaus 5
66123 Saarbrücken
-
Als Antragsteller
-
laufende Projekte
-
EMPEROR: Lernen der Ursachen von Programmverhalten (Sachbeihilfen)
-
TYPES4STRINGS: Types For Strings (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Analyse von Computerprogrammen durch automatische Experimente (Sachbeihilfen)
-
Selbstreparierende Programme ("Autofix") (Sachbeihilfen)
-
Seeding Bugs to Find Bugs (Sachbeihilfen)
-
Finden und Bezeugen unerwünschten Programmverhaltens (Sachbeihilfen)
-
Anomalieerkennung in reaktiven Systemen (Sachbeihilfen)
-
-
laufende Projekte
-
Als beteiligter Wissenschaftler
-
abgeschlossene Projekte
-
GRK 623: Leistungsgarantien für Rechnersysteme (Graduiertenkollegs)
-
GSC 209: Saarbrücker Graduiertenschule für Informatik (Graduiertenschulen)
-
-
abgeschlossene Projekte
-
Als Teilprojektleiter
-
abgeschlossene Projekte
-
Softwareanalyse zur Erkennen des Verlustes persönlicher Daten (Sonderforschungsbereiche)
-
Intergiertes Graduiertenkolleg (Sonderforschungsbereiche)
-
-
abgeschlossene Projekte
- Als Beteiligte Person