Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software
Finding All Potential Run-Time Errors and Data Races in Automotive Software
Finding All Potential Run-Time Errors and Data Races in Automotive Software
Time Predictability from System-level Design to Task Implementations in Automotive Applications
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers
Towards Model-Driven Development of Hard Real-Time Systems