Maroua Ben Attia

16 papers B 4C 2Misc 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Integrating formal methods and automated tools for DO-178C compliance in UAV software.
Inf. Softw. Technol.
Rim Zrelli, Henrique Amaral Misson, Sorelle Audrey K. Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu
2025 B conf
Distributed Resource Allocation and Application Deployment in Mesh Edge Networks.
WiMob
Antoine Bernard, Antoine Legrain, Maroua Ben Attia, Abdo Shabah
2025 J jnl
Distributed Resource Allocation and Application Deployment in Mesh Edge Networks.
CoRR
Antoine Bernard, Antoine Legrain, Maroua Ben Attia, Abdo Shabah
2025 J jnl
Implementation of the Collision Avoidance System for DO-178C Compliance.
CoRR
Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu
2025 J jnl
Protocol-Agnostic and Packet-Based Intrusion Detection Using a Multi-Layer Deep-Learning Architecture at the Network Edge.
IEEE Access
Rodolphe Picot, Felipe Göhring de Magalhães, Ahmad Shahnejat Bushehri, Maroua Ben Attia, Gabriela Nicolescu, Alejandro Quintero
2024 C conf
Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications.
RSP
Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu
2024 B conf
Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents.
REFSQ
Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu
2024 — conf
Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper).
ICPE (Companion)
Adel Belkhiri, Maroua Ben Attia, Felipe Göhring de Magalhães, Gabriela Nicolescu
2023 C conf
ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems.
RSP
Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhaes, Gabriela Nicolescu
2023 — conf
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts.
SERP4IoT
Majid Babaei, Maroua Ben Attia
2020 J jnl
Dynamic QoS-Aware Scheduling for Concurrent Traffic in Smart Home.
IEEE Internet Things J.
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
2019 B conf
Concurrent Traffic Queuing Game in Smart Home.
CNSM
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
2019 J jnl
Dynamic QoE/QoS-Aware Queuing for Heterogeneous Traffic in Smart Home.
IEEE Access
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
2019 B conf
Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home.
IWCMC
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
2018 J jnl
QoS-aware software-defined routing in smart community network.
Comput. Networks
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
2015 Misc conf
On-device anomaly detection for resource-limited systems.
SAC
Maroua Ben Attia, Chamseddine Talhi, Abdelwahab Hamou-Lhadj, Babak Khosravifar, Vincent Turpaud, Mario Couture