An Instrumentation-Based Approach to Controller Model Validation
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
Generating Sound and Resource-Aware Code from Hybrid Systems Models
A Software and System Modeling Facility for Vehicle Environment Interactions
Towards Verification of Model Transformations Via Goal-Directed Certification
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Modeling with the Timing Definition Language (TDL)
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software
An Instrumentation-Based Approach to Controller Model Validation
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer