Login / Signup
Henrique Amaral Misson
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 3
Top Topics
Formal Methods
Modeling Language
Minimal Change
Alternating Time Temporal Logic
Top Venues
REFSQ
RSP
SBESC
</>
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)
Henrique Amaral Misson
,
Fernando Silvano Gonçalves
,
Leandro Buss Becker
Applying Integrated Formal Methods on CPS Design.
SBESC
(2019)