On-device anomaly detection for resource-limited systems. - Maroua Ben Attia; Chamseddine Talhi; Abdelwahab Hamou-Lhadj; Babak Khosravifar; Vincent Turpaud; Mario Couture (SAC, 2015)

QoS-aware software-defined routing in smart community network. - Maroua Ben Attia; Kim Khoa Nguyen; Mohamed Cheriet (Comput. Networks, 2018)

Concurrent Traffic Queuing Game in Smart Home. - Maroua Ben Attia; Kim Khoa Nguyen; Mohamed Cheriet (CNSM, 2019)

Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home. - Maroua Ben Attia; Kim Khoa Nguyen; Mohamed Cheriet (IWCMC, 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 Scheduling for Concurrent Traffic in Smart Home. - Maroua Ben Attia; Kim Khoa Nguyen; Mohamed Cheriet (IEEE Internet Things J., 2020)

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 (RSP, 2023)

ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts. - Majid Babaei; Maroua Ben Attia (SERP4IoT, 2023)

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 (REFSQ, 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 (RSP, 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 (ICPE (Companion), 2024)

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)