Rim Zrelli

According to our database, Rim Zrelli authored at least 8 papers between 2017 and 2026.

Collaborative distances:

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

2026

Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation.

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

J. Syst. Softw., 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

Performance Alert Triage with Time-Aware Learning and Multi-Scale Time-Series Features.

Adem Hmissa, Rodolphe Laurent Louis Picot, Rani Naaman, Ahmad Shahnejat Bushehri, Rim Zrelli, Felipe Gohring de Magalhaes, Gabriela Nicolescu

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

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

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

2017

Checking and Enforcing Security Through Opacity in Healthcare Applications.

Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017