An Instrumentation-Based Approach to Controller Model Validation
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Towards Verification of Model Transformations Via Goal-Directed Certification
Simulink Integration of Giotto/TDL
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Validation of Component and Service Federations in Automotive Software Applications
Towards a Component Architecture for Hard Real Time Control Applications
On the Fault Hypothesis for a Safety-Critical Real-Time System
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Compositional Framework for Real-Time Guarantees
Adding Value to Automotive Models
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Software for Automotive Systems: Model-Integrated Computing
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
A Software and System Modeling Facility for Vehicle Environment Interactions
Reusable Services and Semi-automatic Service Composition for Automotive Software