A Compositional Framework for Real-Time Guarantees
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
An Instrumentation-Based Approach to Controller Model Validation
A Software and System Modeling Facility for Vehicle Environment Interactions
Aufwandsschätzung von Projekten: Eine Standortbestimmung
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Barrierefreies Webdesign zwischen Webstandards und Universellem Design