Steffen Keul

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Publications

Martin Wittiger, Steffen Keul
Extraktion von Interthread-Kommunikation in eingebetteten Systemen. Automotive - Safety & Security (2012)
Mikhail Prokharau, Daniel Gerlach, Steffen Keul
Static Analysis of Predicate-based Synchronisation. Softwaretechnik-Trends 31 (2) (2011)
Steffen Keul
Tuning Static Data Race Analysis for Automotive Control Software. SCAM (2011)
Steffen Keul
Static Versioning of Global State for Race Condition Detection. Ada-Europe (2010)
Steffen Keul, Mikhail Prokharau, Daniel Gerlach, Carola Jenke, Aoun Raza
RaceVis: Ein Werkzeug zur Visualisierung von Data Races. Softwaretechnik-Trends 30 (2) (2010)
Eduard Wiebe, Steffen Keul, Stefan Staiger, Gunther Vogel
Entwurfsmuster-Erkennung mit Bauhaus. Workshop Software Reengineering (2008)
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe
Interprocedural Static Single Assignment Form. WCRE (2007)