Maroua Ben Attia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2015–2025
Best venue rank
C
Where they publish
Papers
7 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 |
| 2023 | RSP | ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems. | Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhaes, Gabriela Nicolescu |
| 2019 | CNSM | Concurrent Traffic Queuing Game in Smart Home. | Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet |
| 2019 | IWCMC | Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home. | Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet |
| 2015 | SAC | On-device anomaly detection for resource-limited systems. | Maroua Ben Attia, Chamseddine Talhi, Abdelwahab Hamou-Lhadj, Babak Khosravifar, Vincent Turpaud, Mario Couture |