Traffic Density Calculation Using PEGASIS and Traffic Light Control Using STLSD Algorithm
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Toward autonomous driving: the CMU Navlab. II. Architecture and systems
The Pegasus avionics system design
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Softwareentwicklung von Telematikdiensten : Konzepte, Entwicklung und zukünftige Trends
Softwareentwicklung von Telematikdiensten : Konzepte, Entwicklung und zukünftige Trends
Social Media on the Road : The Future of Car Based Computing
Social Media on the Road : the future of car based computing
Smart Traffic Signal Control System Using Artificial Intelligence
Reusable Services and Semi-automatic Service Composition for Automotive Software
Real-Time Distributed Pipeline Architecture for Pedestrians’ Trajectories
Rash Driving Detection and Alerting System
Proceedings of the fifth ACM international workshop on VehiculAr Inter-NETworking
Proceedings of the 2nd ACM international workshop on Vehicular ad hoc networks
Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks
Proactive Traffic Abnormity Warning System
Performance Analysis of Parallel Client-Server Model Versus Parallel Mobile Agent Model