1–16 of 16 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

    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

    Finding All Potential Run-Time Errors and Data Races in Automotive Software

    Schmidt, André / Miné, Antoine / Ferdinand, Christian et al. | SAE Technical Papers | 2017

    Finding All Potential Run-Time Errors and Data Races in Automotive Software

    Kaestner, Daniel / Miné, Antoine / Schmidt, André et al. | British Library Conference Proceedings | 2017

    Model-Driven Code Generation and Analysis

    Rustemeier, Carsten / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2014

    Static Memory and Execution Time Analysis of Embedded Code

    Ferdinand, Christian / Heckmann, Reinhold | SAE Technical Papers | 2006

    Time Predictability from System-level Design to Task Implementations in Automotive Applications

    Ferdinand, Christian / Terrier, Francois / Gentile, Giacomo et al. | SAE Technical Papers | 2010

    Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

    Ferdinand, Christian / Renz, Christian / Wolff, Hans-Joerg et al. | SAE Technical Papers | 2007

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008

    Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications

    Reder, Simon / Kempf, Fabian / Bucher, Harald et al. | AIAA | 2019

    Worst-case execution time prediction by static program analysis

    Heckmann, Reinhold / Ferdinand, Christian | Tema Archive | 2004