Auflistung nach Autor "Keul, Steffen"
Anzeige der Dokumente 1-4 von 4
-
Entwurfsmuster-Erkennung mit BAUHAUS
Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang
181-185 -
Extraktion von Interthread-Kommunikation in eingebetteten Systemen
Wittiger, Martin; Keul, Steffen
55-67 -
RaceVis: Ein Werkzeug zur Visualisierung von Data Races
Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun
-
Static Analysis of Predicate-based Synchronisation
Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen