Logo des Repositoriums

Auflistung nach Autor:in "Gerlach, Daniel"

1 - 2 von 2
  • Zeitschriftenartikel
    RaceVis: Ein Werkzeug zur Visualisierung von Data Races
    (Softwaretechnik-Trends Band 30, Heft 2, 2010) Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun
    Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.
  • Zeitschriftenartikel
    Static Analysis of Predicate-based Synchronisation
    (Softwaretechnik-Trends Band 31, Heft 2, 2011) Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen
    While many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.