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