A local model of eye adaptation for high dynamic range images
Learning to predict train wheel failures
An approach to the pervasive formal specification and verification of an automotive system
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
Contactless CAN interface - a standard for aftermarket automotive
CAN-based distributed real-time control in hybrid electric vehicles
Fibex gateway configuration tool chain
Parallel progressive precomputed radiance transfer
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
A static-node assisted adaptive routing protocol in vehicular networks
High-fidelity application-centric evaluation framework for vehicular networks