Applying Integrated Formal Methods on CPS Design. - Henrique Amaral Misson; Fernando Silvano Gonçalves; Leandro Buss Becker (SBESC, 2019)

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 (RSP, 2023)

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 (REFSQ, 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 (RSP, 2024)

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, 2025)