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