Login / Signup
Rim Zrelli
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Formal Methods
Modeling Language
Minimal Change
Alternating Time Temporal Logic
Top Venues
REFSQ
RSP
</>
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)
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)