Static Trace Extraction. - Thomas Eisenbarth 003; Rainer Koschke; Gunther Vogel (WCRE, 2002)

Extraktion statischer Objekt Prozess Graphen. - Thomas Eisenbarth 003; Rainer Koschke; Gunther Vogel (Softwaretechnik-Trends, 2003)

Teaching Software Engineering with Ada 95. - Daniel Simon; Gunther Vogel; Erhard Plödereder (Ada-Europe, 2005)

Static object trace extraction for programs with pointers. - Thomas Eisenbarth 003; Rainer Koschke; Gunther Vogel (J. Syst. Softw., 2005)

Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. - Aoun Raza; Gunther Vogel; Erhard Plödereder (Ada-Europe, 2006)

Statische Extraktion von Protokollen. - Gunther Vogel (Softwaretechnik-Trends, 2006)

Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. - Gunther Vogel (GI Jahrestagung (2), 2007)

Interprocedural Static Single Assignment Form. - Stefan Staiger; Gunther Vogel; Steffen Keul; Eduard Wiebe (WCRE, 2007)

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. - Aoun Raza; Gunther Vogel (Ada-Europe, 2008)

Entwurfsmuster-Erkennung mit Bauhaus. - Eduard Wiebe; Steffen Keul; Stefan Staiger; Gunther Vogel (Workshop Software Reengineering, 2008)