ASDEN: a comprehensive design framework vision for automotive electronic control systems
An approach to the pervasive formal specification and verification of an automotive system
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
Efficient and robust pseudonymous authentication in VANET
On scheduling vehicle-roadside data access
Probabilistic aggregation for data dissemination in VANETs
Enabling efficient and accurate large-scale simulations of VANETs for vehicular traffic management
Proactive traffic merging strategies for sensor-enabled cars
High-fidelity application-centric evaluation framework for vehicular networks
A static-node assisted adaptive routing protocol in vehicular networks
Data aggregation and roadside unit placement for a VANET traffic information system
Optimal data rate selection for vehicle safety communications
Extending drive-thru data access by vehicle-to-vehicle relay
Analysis and design of effective and low-overhead transmission power control for VANETs
Catch-up: A data aggregation scheme for VANETs
Secure and efficient beaconing for vehicular networks
How to protect privacy in floating car data systems
A differential OFDM approach to coherence time mitigation in DSRC