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

    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

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

    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

    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