Rim Zrelli

According to our database, Rim Zrelli authored at least 4 papers between 2017 and 2024.

Collaborative distances:

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

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