Did you mean:
person:("krüger, ingolf H.")
An Instrumentation-Based Approach to Controller Model Validation
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Modeling with the Timing Definition Language (TDL)
Towards Model-Driven Development of Hard Real-Time Systems
Towards Verification of Model Transformations Via Goal-Directed Certification
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Reusable Services and Semi-automatic Service Composition for Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Modeling with the Timing Definition Language (TDL)
Towards Verification of Model Transformations Via Goal-Directed Certification
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
A Software and System Modeling Facility for Vehicle Environment Interactions
An Instrumentation-Based Approach to Controller Model Validation