Dipl.-Inform. Markus Herhoffer

	Kontakt

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