1–10 of 20 hits
|

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Schmidt, Bernard / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2019

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Kaestner, Daniel / Schmidt, Bernard / Schlund, Maximilian et al. | British Library Conference Proceedings | 2019

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006

    An Integrated Timing Analysis Methodology for Real-Time Systems

    Ferdinand, Christian / Kästner, Daniel / Jersak, Marek et al. | SAE Technical Papers | 2011

    Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements

    Kästner, Daniel / Ferdinand, Christian | British Library Conference Proceedings | 2016

    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

    Ferdinand, Christian / Mallon, Christoph / Kaestner, Daniel et al. | SAE Technical Papers | 2023

    Automatic timing/memory-usage analysis and model-based code generation

    Heckmann, Reinhold / Ferdinand, Christian / Wolff, Hans-Jörg et al. | Tema Archive | 2007

    Automotive, Railway and Avionics Multicore Systems (ARAMiS) : Berichtszeitraum: 01.12.2011-30.11.2014

    Free access
    Ferdinand, Christian / Schmidt, Michael / Wegener, Simon et al. | TIBKAT | 2015

      Automotive, Railway and Avionics Multicore Systems (ARAMiS) : Berichtszeitraum: 01.12.2011-30.11.2014

      Ferdinand, Christian / Schmidt, Michael / Wegener, Simon et al. | TIBKAT | 2015