Henrique Amaral Misson

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

Collaborative distances:

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

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