Requirements of an integrated formal method for intelligent swarms
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