Zur Webseite der Informatik

Programming Languages and Compiler Group

Steffen Keul

PhD Student,
formerly Research Assistant

Contact Info

E-Mail: steffen.keul@informatik.uni-stuttgart.de
GPG-Key: 13EBD6B6

Research

Project Bauhaus, main interest on static program analyses to identify race conditions.

Publications

  • Wittiger, Martin; Keul, Steffen: Extraktion von Interthread-Kommunikation in eingebetteten Systemen. In Automotive - Safety and Security, LNI, volume P-210, pp. 55-67, GI, Nov 2012, received best paper award.
  • Keul, Steffen: Tuning Static Data Race Analysis for Automotive Control Software. In 11th IEEE International Working Conference on Source Code Analysis and Manipulation, pages 45-54, IEEE Computer Society, Sept 2011.
  • Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen: Static Analysis of Predicate-based Synchronisation. In 13. Workshop Software-Reengineering, Softwaretechnik-Trends, Band 31, Heft 2, pages 16-17, GI, Mai 2011.
  • Keul, Steffen: Static Versioning of Global State for Race Condition Detection. In Ada-Europe 2010, volume 6106 of LNCS, pages 111 - 124, Springer, 2010
  • Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun: RaceVis: Ein Werkzeug zur Visualisierung von Data Races. In 12. Workshop Software-Reengineering, Softwaretechnik-Trends, Band 30, Heft 2, pages 82 - 83. GI, Mai 2010.
  • Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang: Entwurfsmuster-Erkennung mit Bauhaus. In 10th Workshop Software - Reengineering, LNI, volume P-126, pages 181 - 185. Köllen, 2008.
  • Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus, Technischer Bericht Nr. 2007/03.
  • Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form. In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), pages 1 - 10, 2007.
  • Keul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme. Diplomarbeit Nr. 2323, 2005.