Your Selections

Kaestner, Daniel
Show Only

Collections

File Formats

Content Types

Dates

Sectors

Topics

Authors

Publishers

Affiliations

Events

   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

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

Published 2017-03-28 by SAE International in United States
This content contains downloadable datasets
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Model-Driven Code Generation and Analysis

Published 2014-04-01 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

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

Published 2019-04-02 by SAE International in United States
This content contains downloadable datasets
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

Published 2023-04-11 by SAE International in United States
Annotation ability available