Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
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