Distributed Computing for Emerging Smart Networks

Vehicular networks and emerging technologies Survey on Lidar sensing technology for vehicular networks.- Real-time prediction of o -street parking spaces based on dynamic resource allocation and pricing.- Shared Micro-mobility: Technologies, Challenges and Prospects ofUsing Collected Data.- Cyber safety and security of Intelligent Transportation Systems.- Enhancing Autonomous System Security: A Formal Framework for Assessing and Strengthening Autonomous Vehicle Defenses.- Intruder vehicle detection during a platoon joining maneuver.- Securing Level Crossings with Edge Infrastructure and V2X Communications: A High-Performance Solution.- A Formal Approach for a Railway Level Crossing using the Event-B Method.