Steffen Keul

According to our database, Steffen Keul authored at least 7 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Extraktion von Interthread-Kommunikation in eingebetteten Systemen.

Martin Wittiger, Steffen Keul

Proceedings of the Automotive, 2012

2011

Static Analysis of Predicate-based Synchronisation.

Mikhail Prokharau, Daniel Gerlach, Steffen Keul

Softwaretechnik-Trends, 2011

Tuning Static Data Race Analysis for Automotive Control Software.

Steffen Keul

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

2010

RaceVis: Ein Werkzeug zur Visualisierung von Data Races.

Steffen Keul, Mikhail Prokharau, Daniel Gerlach, Carola Jenke, Aoun Raza

Softwaretechnik-Trends, 2010

Static Versioning of Global State for Race Condition Detection.

Steffen Keul

Proceedings of the Reliable Software Technologiey, 2010

2008

Entwurfsmuster-Erkennung mit Bauhaus.

Eduard Wiebe, Steffen Keul, Stefan Staiger, Gunther Vogel

Proceedings of the 10th Workshop Software Reengineering, 5-7 May 2008, Bad Honnef, Germany, 2008

2007

Interprocedural Static Single Assignment Form.

Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007