An Instrumentation-Based Approach to Controller Model Validation
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Validation of Component and Service Federations in Automotive Software Applications
Towards Verification of Model Transformations Via Goal-Directed Certification
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Simulink Integration of Giotto/TDL
Towards a Component Architecture for Hard Real Time Control Applications
On the Fault Hypothesis for a Safety-Critical Real-Time System
Software for Automotive Systems: Model-Integrated Computing
Modeling with the Timing Definition Language (TDL)