The selection of an Ada compiler for a real-time embedded avionics application
Ada in the post deployment software support environment
Design and test strategies for a safety-critical embedded executive
New competitive strategies for searching in unknown star-shaped polygons
Integrated premission planning and execution for unmanned ground vehicles
Reusing single system requirements from application family requirements
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Rendering effective route maps: improving usability through generalization
Investigating the readability of state-based formal requirements specification languages
Using specification-driven concepts for distributed data management and dissemination
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
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
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
Runtime infrastructure for simulating vehicle-2-X communication scenarios
Power management techniques for very low consumption and EMI reduction in automotive applications
A fundamental scalability criterion for data aggregation in VANETs
Installation and evaluation of RFID readers on moving vehicles
PeerTIS - a peer-to-peer traffic information system
A simulation study of traffic efficiency improvement based on car-to-x communication
Coordinated VANET experiments - a methodology and first results
Distributed rate control algorithm for VANETs (DRCV)
A geo-location based opportunistic data dissemination approach for MANETs
A fuzzy logic based approach for structure-free aggregation in vehicular ad-hoc networks
GPS-aided recognition-based user tracking system with augmented reality in extreme large-scale areas
Detecting driver phone use leveraging car speakers