Dipl.-Inform. Markus Herhoffer

	Kontakt Email: Loading...	IPD Prof. Snelting Raum 029, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland

Arbeitsgebiete

Studienarbeit: Präziserer Kontrollfluss für Exceptions

Veröffentlichungen

2012

• Algorithmik- und logikbasierte Points-to Analysen im Vergleich
  December 2012 : M. Herhoffer
• Präziser Kontrollfluss für Exceptions durch interprozedurale Datenflussanalyse
  June 2012 : M. Herhoffer

Bearbeitete Studien- und Abschlussarbeiten

• Algorithmik- und logikbasierte Points-to Analysen im Vergleich (abgeschlossen), Diplomarbeit
• Datenflussanalyse: Präziserer Kontrollfluss für Exceptions (abgeschlossen), Studienarbeit