Distributed Computing for Emerging Smart Networks [electronic resource] : 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers /

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 of Using 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. .

This book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023. The 6 full papers included in this book were carefully reviewed and selected from 13 submissions. The book also contains one invited talk. The contributions focus on vehicular networks and emerging technologies and cyber safety and security of intelligent transportation systems.