An approach to the pervasive formal specification and verification of an automotive system
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
Contactless CAN interface - a standard for aftermarket automotive
CAN-based distributed real-time control in hybrid electric vehicles
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