Maroua Ben Attia

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Multicast Routing Protocol

Modeling Language

Service Composition

Top Venues

Publications

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu
Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents. REFSQ (2024)
Adel Belkhiri, Maroua Ben Attia, Felipe Göhring de Magalhães, Gabriela Nicolescu
Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper). ICPE (Companion) (2024)
Majid Babaei, Maroua Ben Attia
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts. SERP4IoT (2023)
Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhaes, Gabriela Nicolescu
ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems. RSP (2023)
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
Dynamic QoS-Aware Scheduling for Concurrent Traffic in Smart Home. IEEE Internet Things J. 7 (6) (2020)
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
Concurrent Traffic Queuing Game in Smart Home. CNSM (2019)
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
Dynamic QoE/QoS-Aware Queuing for Heterogeneous Traffic in Smart Home. IEEE Access 7 (2019)
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
Dynamic QoS-aware Queuing for Heterogeneous Traffic in Smart Home. IWCMC (2019)
Maroua Ben Attia, Kim Khoa Nguyen, Mohamed Cheriet
QoS-aware software-defined routing in smart community network. Comput. Networks 147 (2018)
Maroua Ben Attia, Chamseddine Talhi, Abdelwahab Hamou-Lhadj, Babak Khosravifar, Vincent Turpaud, Mario Couture
On-device anomaly detection for resource-limited systems. SAC (2015)