Get started
Author

Maroua Ben Attia

Observed names: Attia, Maroua Ben, Maroua Ben Atti, Maroua Ben-Attia
ORCID: 0000-0002-5527-2922
Observed ORCID: 0000-0002-5527-2922
OpenAlex ID: A5019111564
Dynamic QoE/QoS-Aware Queuing for Heterogeneous Traffic in Smart Home
2019 · Maroua Ben Attia, Kim-Khoa Nguyen, et al. · IEEE Access · 23
PDF
Dynamic QoS-Aware Scheduling for Concurrent Traffic in Smart Home
2020 · Maroua Ben Attia, Kim Khoa Nguyen, et al. · IEEE Internet of Things Journal · 16
QoS-aware software-defined routing in smart community network
2018 · Maroua Ben Attia, Kim-Khoa Nguyen, et al. · Computer Networks · 14
On-device anomaly detection for resource-limited systems
2015 · Maroua Ben Attia, Chamseddine Talhi, et al. · ACM Symposium on Applied Computing · 10
Integrating formal methods and automated tools for DO-178C compliance in UAV software
2026 · Rim Zrelli, Henrique Amaral Misson, et al. · Information and Software Technology · 6
Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications
2024 · Rim Zrelli, Henrique Amaral Misson, et al. · International Workshop on Rapid System Prototyping (RSP) · 6
Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents
2024 · Rim Zrelli, Henrique Amaral Misson, et al. · Lecture notes in computer science · 5
Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home
2019 · Maroua Ben Attia, Kim-Khoa Nguyen, et al. · International Wireless Communications and Mobile Computing Conference (IWCMC) · 4
Concurrent Traffic Queuing Game in Smart Home
2019 · Maroua Ben Attia, Kim-Khoa Nguyen, et al. · International Conference on Network and Service Management (CNSM) · 3
Distributed Resource Allocation and Application Deployment in Mesh Edge Networks
2025 · Antoine Bernard, Antoine Legrain, et al. · IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) · 1
PDF
Implementation of the Collision Avoidance System for DO-178C Compliance
2025 · Zrelli, Rim, Misson, Henrique Amaral, et al. · arXiv (Cornell University) · 1
PDF
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts
2023 · Majid Babaei, Maroua Ben-Attia · IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) · 1
Energy-Efficient LLM-Based Decompilation via a Two-Stage Pipeline on Constrained Hardware
2026 · Rodolphe Picot, Ahmad Shahnejat Bushehri, et al. · ACM Transactions on Embedded Computing Systems
Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper)
2024 · Adel Belkhiri, Maroua Ben Attia, et al. · ACM/SPEC International Conference on Performance Engineering (ICPE)
ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems
2023 · Henrique Amaral Misson, Rim Zrelli, et al. · International Workshop on Rapid System Prototyping (RSP)
Optimized traffic scheduling and routing in smart home networks
2019 · Maroua Ben Attia
Détection d'anomalies basée sur l'hôte, pour les systèmes à ressources limitées
2015 · Maroua Ben Attia
Works count: 17
Citation count: 90
H-index: 6
I10-index: 4
Year
Topic
Type