Henrique Amaral Misson

According to our database, Henrique Amaral Misson authored at least 7 papers between 2019 and 2026.

Collaborative distances:

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

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

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

2019

Applying Integrated Formal Methods on CPS Design.

Henrique Amaral Misson, Fernando Silvano Gonçalves, Leandro Buss Becker

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019