Logo des Repositoriums

Auflistung nach Autor:in "Felden, Timm"

1 - 7 von 7
  • Konferenzbeitrag
    Betrachtung der Einflüsse von Zwischendarstellungseigenschaften auf die Evolution von Werkzeugketten
    (Softwaretechnik-Trends Band 39, Heft 2, 2019) Felden, Timm; Krause, Felix
    In diesem Papier werden Eigenschaften von Zwischendarstellungen (IRs) auf Evolution und Migration von Werkzeugketten betrachtet. Dabei steht eine rückblickende Betrachtung SKilL-basierter Projekte im Mittelpunkt. Ebenso wird versucht, die Entwurfsentscheidungen hinter SKilL neu zu bewerten.
  • Textdokument
    Evolution of a Program Analysis Toolchain
    (Softwaretechnik-Trends: Vol. 37, No. 2, 2017) Felden, Timm; Krause, Felix
    In this paper we report experiences made in the mostly finished process of modernization of the Bauhaus toolchain. We discuss the replacement of a hard-to-change intermediate representation that is only accessible in Ada by a modern one that is both language-independent and easy-to-change. Furthermore, we describe how to set up a process such that even academic research projects can perform an affordable and safe migration.
  • Zeitschriftenartikel
    Migrating Bauhaus from IML to SKilL
    (Softwaretechnik-Trends Band 36, Heft 3, 2016) Felden, Timm; Wittiger, Martin
    In this paper we will motivate and discuss the ongoing process of migrating the Bauhaus toolchain from its home-brew intermediate representation (IR) to a generalized IR based on SKilL.
  • Zeitschriftenartikel
    Migration von Bauhaus-Werkzeugen auf eine SKilL-Zwischendarstellung
    (Softwaretechnik-Trends Band 38, Heft 2, 2018) Felden, Timm; Krause, Felix
    In diesem Papier werden die laufenden Migrationsarbeiten in Bauhaus beschrieben. Dabei steht die Migration nicht spezifizierter Kernkomponenten auf entsprechende automatisch generierte SKilL-basierte Komponenten im Mittelpunkt.
  • Konferenzbeitrag
    Migration von Zeigeranalysen in Bauhaus
    (Softwaretechnik-Trends Band 39, Heft 2, 2019) Schupikov, Michael; Felden, Timm
    In diesem Papier wird die Durchführung der Migration der Zwischendarstellung von vier Zeigeranalyse-Werkzeugen in Bauhaus beschrieben. Diese wurde von Studenten im Rahmen eines Projekts durchgeführt.
  • Zeitschriftenartikel
    Recognition of Real-World State-Based Synchronization
    (Softwaretechnik-Trends Band 35, Heft 2, 2015) Wittiger, Martin; Felden, Timm
    In the real world, safety-critical embedded systems use state-based synchronization to avoid data races. Using constraint solving to tackle state, we have improved upon existing static data race analysis.
  • Zeitschriftenartikel
    Werkzeugunterstützte Eliminierung von Data-Races in Eclipse
    (Softwaretechnik-Trends: Vol. 33, No. 2, 2013) Felden, Timm; Görg, Torsten
    hBKK 62H/2M hQ`bi2M :`; lMBp2`bBi i aimii;`i- AMbiBimi 7` aQ7ir`2i2+?MQHQ;B2 lMBp2`bBi ibbi`X j3- dy8eN aimii;`i &72H/2MiK- ;Q2`;iM'!BM7Q`KiBFXmMB@bimii;`iX/2