2008 |
8 | EE | Aoun Raza,
Gunther Vogel:
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.
Ada-Europe 2008: 226-239 |
7 | | Eduard Wiebe,
Steffen Keul,
Stefan Staiger,
Gunther Vogel:
Entwurfsmuster-Erkennung mit Bauhaus.
Workshop Software Reengineering 2008: 181-185 |
2007 |
6 | | Gunther Vogel:
Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen.
GI Jahrestagung (2) 2007: 268-274 |
5 | EE | Stefan Staiger,
Gunther Vogel,
Steffen Keul,
Eduard Wiebe:
Interprocedural Static Single Assignment Form.
WCRE 2007: 1-10 |
2006 |
4 | EE | Aoun Raza,
Gunther Vogel,
Erhard Plödereder:
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering.
Ada-Europe 2006: 71-82 |
2005 |
3 | EE | Daniel Simon,
Gunther Vogel,
Erhard Plödereder:
Teaching Software Engineering with Ada 95.
Ada-Europe 2005: 115-128 |
2 | EE | Thomas Eisenbarth,
Rainer Koschke,
Gunther Vogel:
Static object trace extraction for programs with pointers.
Journal of Systems and Software 77(3): 263-284 (2005) |
2002 |
1 | EE | Thomas Eisenbarth,
Rainer Koschke,
Gunther Vogel:
Static Trace Extraction.
WCRE 2002: 128- |