Maroua Ben Attia

According to our database, Maroua Ben Attia authored at least 15 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Integrating formal methods and automated tools for DO-178C compliance in UAV software.

Rim Zrelli, Henrique Amaral Misson, Sorelle Audrey K. Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

Inf. Softw. Technol., 2026

2025

Implementation of the Collision Avoidance System for DO-178C Compliance.

Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

CoRR, September, 2025

Protocol-Agnostic and Packet-Based Intrusion Detection Using a Multi-Layer Deep-Learning Architecture at the Network Edge.

Rodolphe Picot, Felipe Göhring de Magalhães, Ahmad Shahnejat Bushehri, Maroua Ben Attia, Gabriela Nicolescu, Alejandro Quintero

IEEE Access, 2025

Distributed Resource Allocation and Application Deployment in Mesh Edge Networks.

Antoine Bernard, Antoine Legrain, Maroua Ben Attia, Abdo Shabah

Proceedings of the 21th International Conference on Wireless and Mobile Computing, 2025

2024

Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper).

Adel Belkhiri, Maroua Ben Attia, Felipe Göhring de Magalhães, Gabriela Nicolescu

Proceedings of the Companion of the 15th ACM/SPEC International Conference on Performance Engineering, 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

Proceedings of the International Workshop on Rapid System Prototyping, 2024

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

2023

ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts.

Majid Babaei, Maroua Ben Attia

Proceedings of the 5th IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT, 2023

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

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

2020

Dynamic QoS-Aware Scheduling for Concurrent Traffic in Smart Home.

Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet

IEEE Internet Things J., 2020

2019

Dynamic QoE/QoS-Aware Queuing for Heterogeneous Traffic in Smart Home.

Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet

IEEE Access, 2019

Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home.

Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

Concurrent Traffic Queuing Game in Smart Home.

Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet

Proceedings of the 15th International Conference on Network and Service Management, 2019

2018

QoS-aware software-defined routing in smart community network.

Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet

Comput. Networks, 2018

2015

On-device anomaly detection for resource-limited systems.

Maroua Ben Attia, Chamseddine Talhi, Abdelwahab Hamou-Lhadj, Babak Khosravifar, Vincent Turpaud, Mario Couture

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015