The interconnection of our vehicles increases the efficiency and responsiveness of driving
systems and passengers' comfort. Knowing this specificity, systems must be able to exploit …

In this article, we focus on the usage of MQTT (Message Queuing Telemetry Transport)
within Connected Vehicles (CVs). Indeed, in the original version of MQTT protocol, the …

The paper presents a formal approach to model, analyze, and verify a variant of Message
Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) …

With the advancement of IoT, the traditional transportation system be wrap up with
intelligence to provide smart and quick services to user and be better informed on road …

Smart cities need an Intelligent Transportation System (ITS) which can meet their
transportation requirements. Transportation in a smart city should be hassle-free …

Nowadays, every vehicle is wirelessly connected, often by both itself and its passengers.
The same goes for all the continuously growing number of devices alongside the …

The Message Queuing Telemetry Transport (MQTT) protocol is one of the most popular
application-layer protocols for machine-to-machine communications. Its popularity results …

This paper compares the performance tradeoffs of popular application-layer messaging
protocols and binary serialization formats in the context of vehicle-to-cloud communication …

Cross-border scenarios are of extreme importance in current research work on 5G networks
for connected vehicles. Network services and applications for connected vehicles, which are …

The basis of smart city services is urban sensing, ie, the collection of data from sensors
deployed in urban settings. However, it has been recently when mobile objects have started …