Options
Weiß, Gereon
Generic management of availability in fail-operational automotive systems
Challenges of a safe adaptation architecture for vehicles
Context modeling for dynamic configuration of automotive functions
Modellbasierte Validierung von Infotainment-Funktionen im Auto
Reducing the verification effort for interfaces of automotive infotainment software
Towards runtime adaptation in AUTOSAR
Towards runtime adaptation in AUTOSAR
Design of self-adaptation in distributed embedded systems
Verifying & validating non-functional properties of automotive software architectures in early design stages
Interface verification using executable reference models: An application in the automotive infotainment