Henrique Amaral Misson

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

Collaborative distances:

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

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

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