Abdo Shabah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | WiMob | Distributed Resource Allocation and Application Deployment in Mesh Edge Networks. | Antoine Bernard, Antoine Legrain, Maroua Ben Attia, Abdo Shabah |
| 2024 | REFSQ | 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 |
| 2024 | RSP | 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 |
| 2018 | ICRA | From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints. | Jacopo Panerati, Luca Gianoli, Carlo Pinciroli, Abdo Shabah, Gabriela Nicolescu, Giovanni Beltrame |