Echo: a practical approach to formal verification
Instantiating generic charts for Railway Interlocking Systems
Onboard classifiers for science event detection on a remote sensing spacecraft
CAN-based distributed real-time control in hybrid electric vehicles
Contactless CAN interface - a standard for aftermarket automotive
Fibex gateway configuration tool chain
Efficient and robust pseudonymous authentication in VANET
Probabilistic aggregation for data dissemination in VANETs
A static-node assisted adaptive routing protocol in vehicular networks
Optimal data rate selection for vehicle safety communications
Catch-up: A data aggregation scheme for VANETs
How to protect privacy in floating car data systems
Power management techniques for very low consumption and EMI reduction in automotive applications
Using Immersive Virtual Reality to Evaluate Pedestrian Street Crossing Decisions at a Roundabout
A geo-location based opportunistic data dissemination approach for MANETs
Detecting driver phone use leveraging car speakers
Emergency braking: a study of network and application performance
Multimodal interaction in the car - Combining speech and gestures on the steering wheel
Standardizing model-based in-vehicle infotainment development in the german automotive industry