From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints. - Jacopo Panerati; Luca Gianoli; Carlo Pinciroli; Abdo Shabah; Gabriela Nicolescu; Giovanni Beltrame (ICRA, 2018)

Self-Organizing Internet of Multi-RAT Robotic Things Mesh Network. - Tai Manh Ho; Kim-Khoa Nguyen; Abdo Shabah (WMNC, 2022)

Joint Horizontal and Vertical Backup for Highly Reliable Telemedicine Services. - Chuan Pham; Kim Khoa Nguyen; Mohamed Cheriet; Abdo Shabah (ICC, 2023)

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 (REFSQ, 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 (RSP, 2024)