``Spiders in the Sky'': User Perceptions of Drones Privacy and Security
Ada in the post deployment software support environment
A geo-location based opportunistic data dissemination approach for MANETs
An approach to the pervasive formal specification and verification of an automotive system
A Rule-based Vehicular Traffic Tracking System
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Assessing the Potential of Ride-Sharing Using Mobile and Social Data: A Tale of Four Cities
A static-node assisted adaptive routing protocol in vehicular networks
Attentional Synchrony in Films: A Window to Visuospatial Characterization of Events
CAN-based distributed real-time control in hybrid electric vehicles
Catch-up: A data aggregation scheme for VANETs
Contactless CAN interface - a standard for aftermarket automotive
Design and test strategies for a safety-critical embedded executive
Design of Intelligent Flight Controllers for Helicopter Control
Detecting driver phone use leveraging car speakers
Detecting Regions-of-interest: the Mars Rover Application
Echo: a practical approach to formal verification
Efficient and robust pseudonymous authentication in VANET