Abdo Shabah

According to our database, Abdo Shabah authored at least 8 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Integrating formal methods and automated tools for DO-178C compliance in UAV software.

Rim Zrelli, Henrique Amaral Misson, Sorelle Audrey K. Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

Inf. Softw. Technol., 2026

2025

Implementation of the Collision Avoidance System for DO-178C Compliance.

Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

CoRR, September, 2025

Distributed Resource Allocation and Application Deployment in Mesh Edge Networks.

Antoine Bernard, Antoine Legrain, Maroua Ben Attia, Abdo Shabah

Proceedings of the 21th International Conference on Wireless and Mobile Computing, 2025

2024

Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications.

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu

Proceedings of the International Workshop on Rapid System Prototyping, 2024

Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents.

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

2023

Joint Horizontal and Vertical Backup for Highly Reliable Telemedicine Services.

Chuan Pham, Kim Khoa Nguyen, Mohamed Cheriet, Abdo Shabah

Proceedings of the IEEE International Conference on Communications, 2023

2022

Self-Organizing Internet of Multi-RAT Robotic Things Mesh Network.

Tai Manh Ho, Kim-Khoa Nguyen, Abdo Shabah

Proceedings of the 14th IFIP Wireless and Mobile Networking Conference, 2022

2018

From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints.

Jacopo Panerati, Luca Gianoli, Carlo Pinciroli, Abdo Shabah, Gabriela Nicolescu, Giovanni Beltrame

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018