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

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

Static Versioning of Global State for Race Condition Detection. - Steffen Keul (Ada-Europe, 2010)

RaceVis: Ein Werkzeug zur Visualisierung von Data Races. - Steffen Keul; Mikhail Prokharau; Daniel Gerlach; Carola Jenke; Aoun Raza (Softwaretechnik-Trends, 2010)

Tuning Static Data Race Analysis for Automotive Control Software. - Steffen Keul (SCAM, 2011)

Static Analysis of Predicate-based Synchronisation. - Mikhail Prokharau; Daniel Gerlach; Steffen Keul (Softwaretechnik-Trends, 2011)

Extraktion von Interthread-Kommunikation in eingebetteten Systemen. - Martin Wittiger; Steffen Keul (Automotive - Safety & Security, 2012)